TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
Xiong, Jing Shen, Jianhao Yuan, Ye Wang, Haiming Yin, Yichun Liu, Zhengying Li, Lin Guo, Zhijiang Cao, Qingxing Huang, Yinya Zheng, Chuanyang Liang, Xiaodan Zhang, Ming Liu, Qun