Tootfinder

The Milky Way could have many more satellite galaxies than scientists have previously been able to predict or observe,
according to new research.
Cosmologists at Durham University used a new technique combining the highest-resolution supercomputer simulations that exist,
alongside novel mathematical modeling, to predict the existence of missing "orphan" galaxies.

The Milky Way could be teeming with more satellite galaxies than previously thought
The Milky Way could have many more satellite galaxies than scientists have previously been able to predict or observe, according to new research. Cosmologists at Durham University used a new technique combining the highest-resolution supercomputer simulations that exist, alongside novel mathematical modeling, to predict the existence of missing "orphan" galaxies.

SPARC: Concept-Aligned Sparse Autoencoders for Cross-Model and Cross-Modal Interpretability
Ali Nasiri-Sarvi, Hassan Rivaz, Mahdi S. Hosseini
https://arxiv.org/abs/2507.06265

SPARC: Concept-Aligned Sparse Autoencoders for Cross-Model and Cross-Modal Interpretability
Understanding how different AI models encode the same high-level concepts, such as objects or attributes, remains challenging because each model typically produces its own isolated representation. Existing interpretability methods like Sparse Autoencoders (SAEs) produce latent concepts individually for each model, resulting in incompatible concept spaces and limiting cross-model interpretability. To address this, we introduce SPARC (Sparse Autoencoders for Aligned Representation of Concepts), a…

Bryce Young believers still sparse: NFL executive, coaches share anonymous opinions on Panthers QB

https://www.cbssports.com/nfl/news/bryce-y

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Felix M\"achtle, Nils Loose, Jan-Niclas Serr, Jonas Sander, Thomas Eisenbarth
https://arxiv.org/abs/2509.08524

AutoStub: Genetic Programming-Based Stub Creation for Symbolic Execution
Symbolic execution is a powerful technique for software testing, but suffers from limitations when encountering external functions, such as native methods or third-party libraries. Existing solutions often require additional context, expensive SMT solvers, or manual intervention to approximate these functions through symbolic stubs. In this work, we propose a novel approach to automatically generate symbolic stubs for external functions during symbolic execution that leverages Genetic Programmi…

ACE and Diverse Generalization via Selective Disagreement
Oliver Daniels, Stuart Armstrong, Alexandre Maranh\~ao, Mahirah Fairuz Rahman, Benjamin M. Marlin, Rebecca Gorman
https://arxiv.org/abs/2509.07955

ACE and Diverse Generalization via Selective Disagreement
Deep neural networks are notoriously sensitive to spurious correlations - where a model learns a shortcut that fails out-of-distribution. Existing work on spurious correlations has often focused on incomplete correlations,leveraging access to labeled instances that break the correlation. But in cases where the spurious correlations are complete, the correct generalization is fundamentally \textit{underspecified}. To resolve this underspecification, we propose learning a set of concepts that are…

Sub-supersolutions method for singular quasilinear systems involving gradient terms
Abdelkrim Moussaoui
https://arxiv.org/abs/2508.06359 https://arxiv.org/…

Sub-supersolutions method for singular quasilinear systems involving gradient terms
Existence, regularity and location of solutions to quasilinear singular elliptic systems with general gradient dependence are established developing a method of sub-supersolution. The abstract theorems involving sub-supersolutions are applied to prove the existence of positive solutions for convective and absorption singular systems.

Crossing over from flat band superconductivity to conventional superconductivity
M. Thumin, G. Bouzerar
https://arxiv.org/abs/2507.07701 https://

Crossing over from flat band superconductivity to conventional superconductivity
Over the past ten years, flat band (FB) or geometric superconductivity has become a major issue in condensed matter physics due to the significant technological benefits it could offer. Observations of this unconventional form of superconductivity are unfortunately still very limited, and significant efforts are being made to search for candidate materials. Most existing theoretical studies focus on systems with strictly non-dispersive bands, which, from an experimental point of view, represent…

Differential Equation-Constrained Local Regression for Data with Sparse Design
Chunlei Ge, W. John Braun
https://arxiv.org/abs/2507.06409 https://

Differential Equation-Constrained Local Regression for Data with Sparse Design
Local polynomial regression of order one or higher often performs poorly in areas with sparse data. In contrast, local constant regression tends to be more robust in these regions, although it is generally the least accurate approach, especially near the boundaries of the data. Incorporating information from differential equations, which may approximately or exactly hold, is one way of extending the sparse design capacity of local constant regression while reducing bias and variance. A nonparam…

Partitions of mass assignments with spheres and wedges
Deron Lessure, Pablo Sober\'on
https://arxiv.org/abs/2507.06919 https://ar…

Partitions of mass assignments with spheres and wedges
In this paper, we generalize classic mass partition results dealing with partitions using spheres, parallel hyperplanes, or axis-parallel wedges to the setting of mass assignments. In a mass assignment problem, we assign mass distributions continuously to all $k$-dimensional subspaces of $\mathbb{R}^d$, and seek to guarantee the existence of a particular subspace in which more masses can be bisected than those by analyzing the problem in $\mathbb{R}^k$. We prove new mass assignment results for …

Exact WKB of solutions by Borel summation and open TBA
Qianyu Hao
https://arxiv.org/abs/2507.06922 https://arxiv.org/pdf/2507.06922…

Exact WKB of solutions by Borel summation and open TBA
In this paper, we study the exact WKB methods for solutions of the Schrödinger equations corresponding to quantum Seiberg-Witten curves in 4d $\mathcal{N}=2$ theories with surface defects. The tools are Borel summation and Gaiotto-Moore-Neitzke (GMN) open TBA, which is a conjecture that has largely stayed unexplored so far. We study the Borel plane of the solution regularized by a BPS soliton charge and find that its poles on the Borel plane have the physical meaning of BPS soliton central cha…