%0 Conference Proceedings
%T TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
%A Xiong, Jing
%A Shen, Jianhao
%A Yuan, Ye
%A Wang, Haiming
%A Yin, Yichun
%A Liu, Zhengying
%A Li, Lin
%A Guo, Zhijiang
%A Cao, Qingxing
%A Huang, Yinya
%A Zheng, Chuanyang
%A Liang, Xiaodan
%A Zhang, Ming
%A Liu, Qun
%Y Bouamor, Houda
%Y Pino, Juan
%Y Bali, Kalika
%S Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing
%D 2023
%8 December
%I Association for Computational Linguistics
%C Singapore
%F xiong-etal-2023-trigo
%R 10.18653/v1/2023.emnlp-main.711
%U https://aclanthology.org/2023.emnlp-main.711/
%U https://doi.org/10.18653/v1/2023.emnlp-main.711
%P 11594-11632