ML Anthology

Rajaee, Sara

1 publications

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