Latest papers
Assistance games formalize human-robot collaboration under asymmetric information: the human knows the goal, while the robot must infer it from observation and interaction in order to assist effectively. In general, computing optimal…
Matrix factorisation is a fundamental tool for exploiting low-dimensional structure in high-dimensional data, with applications such as data compression, denoising, structure discovery, interpretable representation learning, and…
Language and embedding models used in RAG systems are conventionally assumed to require large-scale pretraining and explicit grounding supervision. We present B1ade, an efficient RAG architecture comprising two purpose-built components: a…
We develop a finite-sample valid inference procedure for strategic network formation models in which linking decisions depend on endogenous network statistics (say, the number of common friends). Only a single network is required to be…
Let $$ A_q(z)=\sum_{k=0}^{\infty}\frac{q^{k^2}}{(q;q)_k}(-z)^k $$ be Ramanujan's entire function. We study it in the turning-point scaling $$ q=e^{-\varepsilon},\qquad z=\frac{\sqrt q}{4}e^{-\varepsilon^{2/3}\zeta}, $$ with $\zeta$ in a…
Let $\chi$ be a primitive odd Dirichlet character of conductor $f$. For the universal projector polynomials $P_m$ introduced in arXiv:2607.23177, defined by $\sum_m P_m(X)Y^m = -\log(1-X(1-e^{-Y}))$, we evaluate the character Fourier…
The Kondo singlet---a many-body state formed by entanglement between a localized spin and the Fermi sea---has been studied extensively through its transport signatures in quantum dots. Here we report a thermodynamic measurement of the…
We present a lightweight approach to foundation modeling (\textbf{NEXUS}) that leverages pre-trained learning from collider physics data towards out-of-domain tasks in other scientific datasets, using a fully connected autoencoder model…
The purpose of this paper is to show that, under mild inductive assumptions, if a group $G$ contains a component that is a simple group of Lie type in characteristic $p$ and $O_p(G) = 1$, then the Quillen poset of $G$ at $p$ has nonzero…
Large language models have improved rapidly on tasks with verifiable answers, such as mathematics and programming. Much less is known about their ability to reason about what we call conceptual questions: questions for which no ground truth…
Verifying retiming followed by additional sequential resynthesis steps remains challenging for existing tools, limiting aggressive optimizations. Commonly-used equivalence checking tools rely on internal resynthesis operations and…
Agentic systems driven by large language models (LLMs) regularly feature two key mechanisms to autonomously solve complex problems: synthesizing text-based knowledge and procedures from past experiences and building parametric…
Climate change reshapes food webs by altering species distributions and interactions, making it essential to identify structural backbones of interactions that persist across ecosystems. Deterministic alignment methods are computationally…
Dimeric transport motors are nanoscale protein complexes that move along cytoskeletal filaments. Here we introduce a theoretical model for their stepping dynamics, in which the two motor heads undergo Brownian motion with mobilities…
Recent advances in robotics research have created a strong demand for high-performance simulators. Surgical robotics simulation faces unique challenges due to the need to model diverse objects, such as rigid instruments, soft tissue, and…
One of the challenges in microstructure analysis is the rigorous quantification of the shape, size, and spatial arrangement of the microstructure beyond comparison of average values. We expound on formal principles combining Topological…
We investigate the emergence of electronic order and unconventional superconductivity in M-valley moir\'e materials. Starting from a first-principles Wannier model of AB-stacked twisted SnSe2, we tackle the (gate-screened) long-ranged…
For many applications of SNARKs, a key bottleneck is proving large batches of standard cryptographic hash evaluations, such as SHA-256, Keccak, or BLAKE3. We introduce Flock, a hash-based SNARK for extremely fast proving of such batched…
Open medical language models have converged on a single scale: every widely used system runs at 7B parameters or more, leaving the sub-billion regime uncharacterized. We present MedLLM, an open 0.1B-parameter medical language model trained…
We study the variational properties of the spectrum of the Dirichlet-to-Robin map $\mathcal{D}_g$ on connected compact manifolds with boundary of dimension at least three. For the first eigenvalue, we show that Type II Yamabe metrics…