{"id":"https://openalex.org/W4412888014","doi":"https://doi.org/10.18653/v1/2025.findings-acl.753","title":"LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback","display_name":"LLM Critics Help Catch Bugs in Mathematics: Towards a Better Mathematical Verifier with Natural Language Feedback","publication_year":2025,"publication_date":"2025-01-01","ids":{"openalex":"https://openalex.org/W4412888014","doi":"https://doi.org/10.18653/v1/2025.findings-acl.753"},"language":"en","primary_location":{"id":"doi:10.18653/v1/2025.findings-acl.753","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.753","pdf_url":"https://aclanthology.org/2025.findings-acl.753.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2025","raw_type":"proceedings-article"},"type":"article","indexed_in":["crossref"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://aclanthology.org/2025.findings-acl.753.pdf","any_repository_has_fulltext":null},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5002310167","display_name":"Bofei Gao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Bofei Gao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102312458","display_name":"Zefan Cai","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Zefan Cai","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5023594937","display_name":"Runxin Xu","orcid":"https://orcid.org/0000-0002-3876-2284"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Runxin Xu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101800668","display_name":"Peiyi Wang","orcid":"https://orcid.org/0000-0001-9121-4327"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Peiyi Wang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101582577","display_name":"Ce Zheng","orcid":"https://orcid.org/0000-0001-9471-575X"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ce Zheng","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5003991609","display_name":"Runji Lin","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Runji Lin","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5110849478","display_name":"Keming Lu","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Keming Lu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5062188134","display_name":"Dayiheng Liu","orcid":"https://orcid.org/0000-0002-8755-8941"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Dayiheng Liu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101384217","display_name":"Chang Zhou","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Chang Zhou","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5101094795","display_name":"Wen Xiao","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Wen Xiao","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5100379419","display_name":"Tianyu Liu","orcid":"https://orcid.org/0000-0001-8107-8587"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Tianyu Liu","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5021459300","display_name":"Baobao Chang","orcid":"https://orcid.org/0000-0003-2824-6750"},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Baobao Chang","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":12,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":true,"cited_by_count":0,"citation_normalized_percentile":{"value":0.18646219,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"14588","last_page":"14604"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.8948000073432922,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T13523","display_name":"Mathematics, Computing, and Information Processing","score":0.8948000073432922,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6971951127052307},{"id":"https://openalex.org/keywords/natural-language","display_name":"Natural language","score":0.6032150983810425},{"id":"https://openalex.org/keywords/natural","display_name":"Natural (archaeology)","score":0.5341400504112244},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.4902937710285187},{"id":"https://openalex.org/keywords/mathematics-education","display_name":"Mathematics education","score":0.34372586011886597},{"id":"https://openalex.org/keywords/theoretical-computer-science","display_name":"Theoretical computer science","score":0.3306282162666321},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.2354762852191925},{"id":"https://openalex.org/keywords/mathematics","display_name":"Mathematics","score":0.19326362013816833}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6971951127052307},{"id":"https://openalex.org/C195324797","wikidata":"https://www.wikidata.org/wiki/Q33742","display_name":"Natural language","level":2,"score":0.6032150983810425},{"id":"https://openalex.org/C2776608160","wikidata":"https://www.wikidata.org/wiki/Q4785462","display_name":"Natural (archaeology)","level":2,"score":0.5341400504112244},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.4902937710285187},{"id":"https://openalex.org/C145420912","wikidata":"https://www.wikidata.org/wiki/Q853077","display_name":"Mathematics education","level":1,"score":0.34372586011886597},{"id":"https://openalex.org/C80444323","wikidata":"https://www.wikidata.org/wiki/Q2878974","display_name":"Theoretical computer science","level":1,"score":0.3306282162666321},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.2354762852191925},{"id":"https://openalex.org/C33923547","wikidata":"https://www.wikidata.org/wiki/Q395","display_name":"Mathematics","level":0,"score":0.19326362013816833},{"id":"https://openalex.org/C95457728","wikidata":"https://www.wikidata.org/wiki/Q309","display_name":"History","level":0,"score":0.0},{"id":"https://openalex.org/C166957645","wikidata":"https://www.wikidata.org/wiki/Q23498","display_name":"Archaeology","level":1,"score":0.0}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.18653/v1/2025.findings-acl.753","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.753","pdf_url":"https://aclanthology.org/2025.findings-acl.753.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2025","raw_type":"proceedings-article"}],"best_oa_location":{"id":"doi:10.18653/v1/2025.findings-acl.753","is_oa":true,"landing_page_url":"https://doi.org/10.18653/v1/2025.findings-acl.753","pdf_url":"https://aclanthology.org/2025.findings-acl.753.pdf","source":null,"license":"cc-by","license_id":"https://openalex.org/licenses/cc-by","version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Findings of the Association for Computational Linguistics: ACL 2025","raw_type":"proceedings-article"},"sustainable_development_goals":[{"display_name":"Quality Education","score":0.6700000166893005,"id":"https://metadata.un.org/sdg/4"}],"awards":[],"funders":[],"has_content":{"grobid_xml":true,"pdf":true},"content_urls":{"pdf":"https://content.openalex.org/works/W4412888014.pdf","grobid_xml":"https://content.openalex.org/works/W4412888014.grobid-xml"},"referenced_works_count":0,"referenced_works":[],"related_works":["https://openalex.org/W4283262748","https://openalex.org/W2502773048","https://openalex.org/W4252362398","https://openalex.org/W48866389","https://openalex.org/W2117651364","https://openalex.org/W3112533414","https://openalex.org/W2490481324","https://openalex.org/W1979668694","https://openalex.org/W4312662746","https://openalex.org/W4231937131"],"abstract_inverted_index":{"Bofei":[0],"Gao,":[1],"Zefan":[2],"Cai,":[3],"Runxin":[4],"Xu,":[5],"Peiyi":[6],"Wang,":[7],"Ce":[8],"Zheng,":[9],"Runji":[10],"Lin,":[11],"Keming":[12],"Lu,":[13],"Dayiheng":[14],"Liu,":[15,21],"Chang":[16],"Zhou,":[17],"Wen":[18],"Xiao,":[19],"Tianyu":[20],"Baobao":[22],"Chang.":[23],"Findings":[24],"of":[25],"the":[26],"Association":[27],"for":[28],"Computational":[29],"Linguistics:":[30],"ACL":[31],"2025.":[32,33]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-10-10T00:00:00"}