@inproceedings{xiong-etal-2023-trigo,
    title = "{TRIGO}: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models",
    author = "Xiong, Jing  and
      Shen, Jianhao  and
      Yuan, Ye  and
      Wang, Haiming  and
      Yin, Yichun  and
      Liu, Zhengying  and
      Li, Lin  and
      Guo, Zhijiang  and
      Cao, Qingxing  and
      Huang, Yinya  and
      Zheng, Chuanyang  and
      Liang, Xiaodan  and
      Zhang, Ming  and
      Liu, Qun",
    editor = "Bouamor, Houda  and
      Pino, Juan  and
      Bali, Kalika",
    booktitle = "Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing",
    month = dec,
    year = "2023",
    address = "Singapore",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/Add-Cong-Liu-Florida-Atlantic-University-author-id/2023.emnlp-main.711/",
    doi = "10.18653/v1/2023.emnlp-main.711",
    pages = "11594--11632"
}