2 papers
cs.AI2026
Automatic Textbook Formalization
Fabian Gloeckle, Ahmad Rammal, Charles Arnal +4
We present a case study where an automatic AI system formalizes a textbook with more than 500 pages of graduate-level algebraic combinatorics to Lean. The resulting formalization r…
cs.CL2024
Learning Mathematical Rules with Large Language Models
Antoine Gorceix, Bastien Le Chenadec, Ahmad Rammal +2
In this paper, we study the ability of large language models to learn specific mathematical rules such as distributivity or simplifying equations. We present an empirical analysis…