Style de citation APA (7e éd.)

Baksys, M., Zetzsche, S., Bouissou, O., & Holden, S. B. (2025). MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification.

Style de citation Chicago (17e éd.)

Baksys, Mantas, Stefan Zetzsche, Olivier Bouissou, et Sean B. Holden. MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification. 2025.

Style de citation MLA (9e éd.)

Baksys, Mantas, et al. MINIF2F-DAFNY: LLM-Guided Mathematical Theorem Proving via Auto-Active Verification. 2025.