ATG: Benchmarking Automated Theorem Generation for Generative Language Models

ATG: Benchmarking Automated Theorem Generation for Generative Language Models Xiaohan Lin author Qingxing Cao author Yinya Huang author Zhicheng Yang author Zhengying Liu author Zhenguo Li author Xiaodan Liang author 2024-06 text Findings of the Association for Computational Linguistics: NAACL 2024 Kevin Duh editor Helena Gomez editor Steven Bethard editor Association for Computational Linguistics Mexico City, Mexico conference publication lin-etal-2024-atg 10.18653/v1/2024.findings-naacl.279 https://aclanthology.org/2024.findings-naacl.279/ 2024-06 4465 4480