1,405+ open-access research outputs.
A convex polyhedron is Rupert if a hole can be cut into it (making its genus $1$) such that an identical copy of the polyhedron can pass through the hole. Resolving a conjecture of Jerrard-Wetzel-Yuan…
We prove a structural result for sets of integers with doubling at most $4 + \delta$, with $\delta>0$ sufficiently small. This generalises earlier work of Eberhard--Green--Manners which dealt with set…
Large language model (LLM) based recommendation agents personalize what they know through evolving per-user semantic memory, yet how they reason remains a universal, static system prompt shared identi…
The generalized Gearhart-Koshy acceleration is a recent exact affine search technique designed for the method of cyclic projections onto hyperplanes, i.e., the Kaczmarz method. However, its convergenc…
The sparse analogue of Szemer\'edi's regularity method has played a central role in the development of extremal results for random graphs. While the sparse embedding lemma (the KLR conjecture) has bee…
Neutral sodium is an important tracer of the Galactic chemical evolution, a powerful diagnostic of different stellar populations, and the subject of detailed studies of exoplanet atmospheres via trans…
We present SatGeo-NeRF, a geometrically regularized NeRF for satellite imagery that mitigates overfitting-induced geometric artifacts observed in current state-of-the-art models using three model-agno…
Herbrand schemes are a method to extract Herband disjunctions directly from sequent calculus proofs, without appealing to cut elimination, using a formal grammar known as a higher-order recursion sche…
This text is a reworked version of a recorded interview with Bernard Teissier conducted in his house in Paris, on 28 and 29 September 2024.…
We propose and analyze a perturbative regularization method to approximate quadratic optimization problems with finite-dimensional degeneracy. The original problem is first approximated by a regulariz…
We report new high-precision observations of the polarization of light scattered from the atmosphere of Venus, made 100 years after the pioneering studies by Bernard Lyot. The new observations include…
Precision oncology is currently limited by the small-N, large-P paradox, where high-dimensional genomic data is abundant, but high-quality drug response samples are often sparse. While deep learning m…
This paper investigates the intersection of residuated structures from many-valued logic and orthomodular lattices from quantum logic. We explore whether non-Boolean structures can simultaneously sati…
Observations of the solar corona at the Pic du Midi began with Bernard Lyot and his spectro coronagraph installed on the multi-purpose equatorial mount of the Baillaud cupola. It was not until 1956 th…
Bernard [3] showed that a Ma\~n\'e generic convex Hamiltonian has only non-degenerate periodic orbits on a given energy level. We show that one can use this result to prove that for a generic potentia…
Large Language Models (LLMs) have recently shown strong reasoning and generalization capabilities, motivating their use as decision-making policies in complex environments. StarCraft II (SC2), with it…
The seminal 2009 paper by Bernard, Krauth, and Wilson marked a paradigm shift in Monte Carlo sampling. By abandoning the restrictive condition of detailed balance in favor of the more fundamental prin…
Topological Hochschild homology (THH) is an invariant of ring spectra developed by B\"okstedt. In recent years many equivariant analogues to THH have emerged. One example is twisted THH which is an in…
Ill-founded (or non-wellfounded) proof systems have emerged as a natural framework for inductive and coinductive reasoning. In such systems, soundness relies on global correctness criteria, such as th…
In the $\Lambda$CDM paradigm, stellar halos form through the accretion and disruption of satellite galaxies. We introduce new semi-analytic modeling within the SatGen framework to track the ex-situ st…
Free open-access publishing with Google Scholar indexing.
Submission Guide →