 TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative
Language ModelsConference on Empirical Methods in Natural Language Processing (EMNLP), 2023 Jing Xiong Jianhao Shen Ye Yuan Haiming Wang Yichun Yin ...Yinya Huang Chuanyang Zheng Xiaodan Liang Ming Zhang Qun Liu |
 LEGO-Prover: Neural Theorem Proving with Growing LibrariesInternational Conference on Learning Representations (ICLR), 2023 Haiming Wang Huajian Xin Chuanyang Zheng Lin Li Zhengying Liu ...Enze Xie Jian Yin Zhenguo Li Heng Liao Xiaodan Liang |
