Showing 2026Show all
3 papers · 1 filter
math.PR2026
Non-explosion principles for branched rough differential equations with unbounded coefficients
Kexing Ying
Expanding upon the work of arXiv:2502.08799, we provide a non-explosion criterion for branched rough differential equations (bRDEs) where we continue to allow for the drift and the…
math.PR2026
Central limit theorem for the Allen-Cahn equation with supercritical random initial conditions
Colin Piernot, Kexing Ying
We study the large-scale behavior of solutions to the Allen-Cahn reaction-diffusion equation with Gaussian initial data. We consider the case of short-range dependence in the assoc…
cs.AI2026
FormalProofBench: Can Models Write Graduate Level Math Proofs That Are Formally Verified?
Nikil Ravi, Kexing Ying, Vasilii Nesterov +5
We present FormalProofBench, a private benchmark designed to evaluate whether AI models can produce formally verified mathematical proofs at the graduate level. Each task pairs a n…