Work

CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization

Year: 2026

Type: conference-paper

Abstract: Zhongyuan Peng, Yifan Yao, Kaijing Ma, Shuyue Guo, Yizhe Li, Yichi Zhang, Chenchen Zhang, Yifan Zhang, Zhouliang Yu, Luming Li, Minghao Liu, Yihang Xia, Jiawei Shen, Yuchen Wu, Yixin Cao, Zhaoxiang Zhang, Wenhao Huang, Jiaheng Liu, Ge Zhang. Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers). 2026.

Source: Proceedings of the conference - Association for Computational Linguistics. Meeting

DOI: 10.18653/v1/2026.acl-long.139

Authors: Zhongyuan Peng, Yifan Yao, Kaijing Ma, Shuyue Guo, Yizhe Li, Yichi Zhang, Chenchen Zhang, Yifan Zhang, Zhouliang Yu, Luming Li, Minghao Liu, Yihang Xia, Jiawei Shen, Yuchen Wu, Yixin Cao, Zhaoxiang Zhang, Wenhao Huang, Jiaheng Liu, Ge Zhang

Institutions: Fudan University, Nanjing University, Tongji University, Zhejiang University, Nanyang Technological University, Princeton University, Chinese University of Hong Kong, ByteDance (China), Chinese Academy of Sciences, Institute of Automation

Language: English

Topic: Mathematics, Computing, and Information Processing

Subfield: Computational Theory and Mathematics

Field: Computer Science

Domain: Physical Sciences

Open Access status: hybrid

Funders: National Natural Science Foundation of China, Government of Jiangsu Province, Natural Science Foundation of Jiangsu Province

OpenAlex ID: W4416062465

FWCI:

Cites:

Cited by:

Related to: 10