Work

TRIGO: Benchmarking Formal Mathematical Proof Reduction for Generative Language Models

Year: 2023

Type: conference-paper

Abstract: Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu. Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing. 2023.

Source: Conference on Empirical Methods in Natural Language Processing (EMNLP)

DOI: 10.18653/v1/2023.emnlp-main.711

Authors: Jing Xiong, Jianhao Shen, Ye Yuan, Haiming Wang, Yichun Yin, Zhengying Liu, Lin Li, Zhijiang Guo, Qingxing Cao, Yinya Huang, Chuanyang Zheng, Xiaodan Liang, Ming Zhang, Qun Liu

Institutions: Sun Yat-sen University, Peking University, Huawei Technologies (China), City University of Hong Kong, Chinese University of Hong Kong

Language: English

Topic: Mathematics, Computing, and Information Processing

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funder: National Natural Science Foundation of China

Awards: G2997987028, G3955732362

OpenAlex ID: W4389520390

FWCI: 0.826

Cites: 37

Cited by: 2

Related to: 10