APA (7th ed.) Citation

Requena, B., Letson, A., Nowakowski, K., Beltran-Ferreiro, I., & Sarra, L. (2026). A Minimal Agent for Automated Theorem Proving.

Chicago Style (17th ed.) Citation

Requena, Borja, Austin Letson, Krystian Nowakowski, Izan Beltran-Ferreiro, and Leopoldo Sarra. A Minimal Agent for Automated Theorem Proving. 2026.

MLA (9th ed.) Citation

Requena, Borja, et al. A Minimal Agent for Automated Theorem Proving. 2026.