TY  - RPRT
TI  - Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving
AU  - Sara Rajaee
AU  - Kumar Pratik
AU  - Gabriele Cesa
AU  - Arash Behboodi
PY  - 2025
UR  - https://arxiv.org/abs/2503.09730
ID  - 2503.09730
ER  -