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
TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models