ATG: Benchmarking Automated Theorem Generation for Generative Language Models F i n d i n g s - N A A C L

Xiaohan Lin | Qingxing Cao | Yinya Huang | Zhicheng Yang | Zhengying Liu | Zhenguo Li | Xiaodan Liang |