@inproceedings{rajaee-etal-2025-local, title = "Local Look-Ahead Guidance via Verifier-in-the-Loop for Automated Theorem Proving", author = "Rajaee, Sara and Pratik, Kumar and Cesa, Gabriele and Behboodi, Arash", editor = "Che, Wanxiang and Nabende, Joyce and Shutova, Ekaterina and Pilehvar, Mohammad Taher", booktitle = "Findings of the Association for Computational Linguistics: ACL 2025", month = jul, year = "2025", address = "Vienna, Austria", publisher = "Association for Computational Linguistics", url = "https://preview.aclanthology.org/corrections-2025-08/2025.findings-acl.825/", doi = "10.18653/v1/2025.findings-acl.825", pages = "16023--16040", ISBN = "979-8-89176-256-5" }