Created on April 30, 2026
2026
Our work Theory-Level Autoformalization has been accepted to ICML 2026 Position Track (Spotlight)!