3 papers
cs.AI2026
Formalizing Mathematics at Scale
Ahmad Rammal, Niket Patel, Fabian Gloeckle +5
We present AutoformBot, a multi-agent system for building an Autoformalized Textbook Library At Scale (Atlas) in Lean 4. AutoformBot orchestrates thousands of LLM agents, equipped…
math.AP2026
Formalization of De Giorgi--Nash--Moser Theory in Lean
Scott Armstrong, Julia Kempe
We present a formalization in Lean of the core interior De Giorgi--Nash--Moser theory for uniformly elliptic divergence-form equations with bounded measurable coefficients. The for…
cs.LG2024
Emergent properties with repeated examples
François Charton, Julia Kempe
We study the performance of transformers as a function of the number of repetitions of training examples with algorithmically generated datasets. On three problems of mathematics:…