APA (7th ed.) Citation

Rajaee, S., Pratik, K., Cesa, G., & Behboodi, A. (2025). Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving.

Chicago Style (17th ed.) Citation

Rajaee, Sara, Kumar Pratik, Gabriele Cesa, and Arash Behboodi. Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving. 2025.

MLA (9th ed.) Citation

Rajaee, Sara, et al. Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving. 2025.