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…