TY  - RPRT
TI  - APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries
AU  - Huajian Xin
AU  - Luming Li
AU  - Xiaoran Jin
AU  - Jacques Fleuriot
AU  - Wenda Li
PY  - 2026
UR  - https://arxiv.org/abs/2504.19110
ID  - 2504.19110
ER  -