TY  - RPRT
TI  - TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models
AU  - Jing Xiong
AU  - Jianhao Shen
AU  - Ye Yuan
AU  - Haiming Wang
AU  - Yichun Yin
AU  - Zhengying Liu
AU  - Lin Li
AU  - Zhijiang Guo
AU  - Qingxing Cao
AU  - Yinya Huang
AU  - Chuanyang Zheng
AU  - Xiaodan Liang
AU  - Ming Zhang
AU  - Qun Liu
PY  - 2023
UR  - https://arxiv.org/abs/2310.10180
ID  - 2310.10180
ER  -