1 citations · 1 across the 3 of their papers we have counts for
Showing 2026Show all
3 papers · 1 filter
cs.LG2026
Fluctuations of Nonlinear Observables in Mean Field Neural Network Training
Arnaud Descours, Geoffrey Lacour
Mean field limits describe the training dynamics of wide neural networks through the evolution of the empirical distribution of their parameters. Although functional central limit…
cs.AI2026
OpenProver: Agentic and Interactive Theorem Proving with Lean 4
Matěj Kripner, Milan Straka
In this system paper, we present OpenProver, an open-source system for LLM-driven automated theorem proving (ATP) with integrated Lean 4 formal verification. OpenProver integrates…
cs.CL2026
Bolzano: Case Studies in LLM-Assisted Mathematical Research
Martin Balko, Jan Grebík, Pavel Hubáček +5
We report new results on eight problems in mathematics and theoretical computer science, produced with the assistance of Bolzano, an open-source multi-agent LLM system. Bolzano orc…