@misc{indiciaee5b987b10c95,
  title = {TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models},
  author = {Jing Xiong and Jianhao Shen and Ye Yuan and Haiming Wang and Yichun Yin and Zhengying Liu and Lin Li and Zhijiang Guo and Qingxing Cao and Yinya Huang and Chuanyang Zheng and Xiaodan Liang and Ming Zhang and Qun Liu},
  year = {2023},
  url = {https://arxiv.org/abs/2310.10180},
  note = {Source identifier: 2310.10180}
}