TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models Jing Xiong author Jianhao Shen author Ye Yuan author Haiming Wang author Yichun Yin author Zhengying Liu author Lin Li author Zhijiang Guo author Qingxing Cao author Yinya Huang author Chuanyang Zheng author Xiaodan Liang author Ming Zhang author Qun Liu author 2023-12 text Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication xiong-etal-2023-trigo 10.18653/v1/2023.emnlp-main.711 https://aclanthology.org/2023.emnlp-main.711/ 2023-12 11594 11632