Citazione Stile APA (7a Edizione)

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

Citazione stile Chigago Style (17a edizione)

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

Citatione MLA (9a ed.)

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