%0 Conference Paper %1 conf/emnlp/XiongSYWYLLGCHZ23 %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 %B EMNLP %D 2023 %E Bouamor, Houda %E Pino, Juan %E Bali, Kalika %I Association for Computational Linguistics %K dblp %P 11594-11632 %T TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models. %U http://dblp.uni-trier.de/db/conf/emnlp/emnlp2023.html#XiongSYWYLLGCHZ23 %@ 979-8-89176-060-8

@inproceedings{conf/emnlp/XiongSYWYLLGCHZ23, added-at = {2024-05-07T00:00:00.000+0200}, 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}, biburl = {https://www.bibsonomy.org/bibtex/2cc610688550333557a3cab1fee81dd70/dblp}, booktitle = {EMNLP}, crossref = {conf/emnlp/2023}, editor = {Bouamor, Houda and Pino, Juan and Bali, Kalika}, ee = {https://aclanthology.org/2023.emnlp-main.711}, interhash = {7268a2df0ea6a7268c7b51699d203d69}, intrahash = {cc610688550333557a3cab1fee81dd70}, isbn = {979-8-89176-060-8}, keywords = {dblp}, pages = {11594-11632}, publisher = {Association for Computational Linguistics}, timestamp = {2024-05-13T09:44:32.000+0200}, title = {TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models.}, url = {http://dblp.uni-trier.de/db/conf/emnlp/emnlp2023.html#XiongSYWYLLGCHZ23}, year = 2023 }