ATG: Benchmarking Automated Theorem Generation for Generative Language Models

Xiaohan Lin, Qingxing Cao, Yinya Huang, Zhicheng Yang, Zhengying Liu, Zhenguo Li, Xiaodan Liang
March, 2024
PDF Cite URL Data Leaderboard
Type
Conference Paper
Publication
2024 Annual Conference of the North American Chapter of the Association for Computational Linguistics (NAACL 2024 Findings)
Yinya Huang
Yinya Huang