TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu
January, 2023
PDF Cite DOI URL Code
Type
Conference Paper
Publication
Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing (EMNLP 2023), Sentosa, Singapore, December 6-10, 2023
Yinya Huang
Yinya Huang