LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback
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.
Authors
- Bofei Gao
- Runji Lin
- Baobao Chang (ORCID: https://orcid.org/0000-0003-2824-6750)
- Runxin Xu (ORCID: https://orcid.org/0000-0002-3876-2284)
- Dayiheng Liu (ORCID: https://orcid.org/0000-0002-8755-8941)
- Tianyu Liu (ORCID: https://orcid.org/0000-0001-8107-8587)
- Wen Xiao
- Chang Zhou
- Ce Zheng (ORCID: https://orcid.org/0000-0001-9471-575X)
- Peiyi Wang
- Zefan Cai
- Keming Lu
Publication Details
- Published
- 2025-01-01
- DOI
- https://doi.org/10.18653/v1/2025.findings-acl.753
- Primary Topic
- Mathematics, Computing, and Information Processing
- Type
- article
- Field-Weighted Citation Impact
- 0.00