Style de citation APA (7e éd.)

Xin, Y., Xin, J., Poesia, G., Goodman, N., Chen, Q., & Dillig, I. (2025). Automated Discovery of Tactic Libraries for Interactive Theorem Proving.

Style de citation Chicago (17e éd.)

Xin, Yutong, Jimmy Xin, Gabriel Poesia, Noah Goodman, Qiaochu Chen, et Isil Dillig. Automated Discovery of Tactic Libraries for Interactive Theorem Proving. 2025.

Style de citation MLA (9e éd.)

Xin, Yutong, et al. Automated Discovery of Tactic Libraries for Interactive Theorem Proving. 2025.