Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving.

Sara Rajaee, Kumar Pratik, Gabriele Cesa, Arash Behboodi

Browse the full ACL paper archive.