2 papers
cs.CL2026
APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
Huajian Xin, Luming Li, Xiaoran Jin +2
While frontier formal mathematics systems now routinely develop repository-scale proof engineering artifacts requiring multi-file coordination and semantic correctness beyond compi…
cs.CL2025
CriticLean: Critic-Guided Reinforcement Learning for Mathematical Formalization
Zhongyuan Peng, Yifan Yao, Kaijing Ma +16
Translating natural language mathematical statements into formal, executable code is a fundamental challenge in automated theorem proving. While prior work has focused on generatio…