APE-Bench I: Towards File-level Automated Proof Engineering of Formal Math Libraries. - Huajian Xin; Luming Li; Xiaoran Jin; Jacques Fleuriot; Wenda Li (CoRR, 2025)