Showing 2026Show all
3 papers · 1 filter
cs.SE2026
Skeleton Coding: Program Structure as a Specification for Agents
Aditya Golatkar, Alessandro Achille, Renos Zabounidis +9
Coding agents are typically provided end-to-end behavioral specifications that the code they produce should satisfy, such as tests and input--output examples. How many such specifi…
math.AP2026
Modified Scattering for the Time-Dependent Kohn--Sham Equation
Masaki Kawamoto, Jinyeop Lee, Changhun Yang +1
We study the long-time behavior of the (critical) Kohn--Sham equation in two and three dimensions, i.e.,\[ \mathrm{i} \partial_t γ = \Big[-\frac{1}{2}Δ+ λ\, |\cdot|^{-1} \ast ρ_{γ}…
math-ph2026
Commutator Estimates for Low-Temperature Fermi Gases
Jacky J. Chong, Laurent Lafleche, Jinyeop Lee +1
We investigate the semiclassical regularity of thermal equilibria in the presence of a harmonic potential at low temperature; that is, we obtain the asymptotic behavior of the Scha…