Work

LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback

Year: 2025

Type: conference-paper

Abstract: Bofei Gao, Zefan Cai, Runxin Xu, Peiyi Wang, Ce Zheng, Runji Lin, Keming Lu, Dayiheng Liu, Chang Zhou, Wen Xiao, Tianyu Liu, Baobao Chang. Findings of the Association for Computational Linguistics: ACL 2025. 2025.

DOI: 10.18653/v1/2025.findings-acl.753

Authors: Bofei Gao, Zefan Cai, Runxin Xu, Peiyi Wang, Ce Zheng, Runji Lin, Keming Lu, Dayiheng Liu, Chang Zhou, Wen Xiao, Tianyu Liu, Baobao Chang

Institutions: Peking University, University of Wisconsin–Madison, Alibaba Group (China), Microsoft (United States)

Language: English

Topic: Natural Language Processing Techniques

Subfield: Artificial Intelligence

Field: Computer Science

Domain: Physical Sciences

Open Access status: gold

Funder: National Natural Science Foundation of China

OpenAlex ID: W4412888014

FWCI: 2.017

Cites:

Cited by: 2

Related to: 10