Papers citing 'ATG: Benchmarking Automated Theorem Generation for Generative Language Models'

Title
A Compute-Matched Re-Evaluation of TroVE on MATH Tobias Sesterhenn Ian Berlot-Attwell Janis Zenkner Christian Bartelt 177 0 0 16 Jul 2025
Library Learning Doesn't: The Curious Case of the Single-Use "Library" Ian Berlot-Attwell Frank Rudzicz Xujie Si 167 2 0 26 Oct 2024
Can Transformers Do Enumerative Geometry?International Conference on Learning Representations (ICLR), 2024 Baran Hashemi Roderic G. Corominas Alessandro Giacchetto 884 7 0 27 Aug 2024
Artifical intelligence and inherent mathematical difficulty Walter Dean Alberto Naibo AIMat 159 0 0 01 Aug 2024
A Survey on Deep Learning for Theorem Proving Zhaoyu Li Jialiang Sun Logan Murphy Qidong Su Zenan Li Xian Zhang Kaiyu Yang Xujie Si LRM 276 47 0 15 Apr 2024