APA (7th ed.) Citation

Xin, H., Li, L., Jin, X., Fleuriot, J., & Li, W. (2025). APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries.

Chicago Style (17th ed.) Citation

Xin, Huajian, Luming Li, Xiaoran Jin, Jacques Fleuriot, and Wenda Li. APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries. 2025.

MLA (9th ed.) Citation

Xin, Huajian, et al. APE-Bench: Evaluating Automated Proof Engineering for Formal Math Libraries. 2025.