1 citations · 1 across the 3 of their papers we have counts for
4 papers
Learning to Discover Interesting Mathematics
Niket Patel, Ahmad Rammal, Amaury Hayat +2
Recently, Large Language Models (LLMs) have been increasingly able to solve advanced mathematical problems, including many that have been open for decades. This opens the door to e…
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…
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…
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:…