ACL 2025

•

July 29, 2025

•

Vienna, Austria

Please log in to leave a comment

Downloads

SlidesPaperTranscript English (automatic)

Next from ACL 2025

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

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

ACL 2025

Sara Rajaee
+1
Sara Rajaee and 3 other authors

29 July 2025

Similar lecture

Controllable Generation
tutorial

Controllable Generation

NAACL 2022

Yue Dong
+1
Yue Dong and 3 other authors

25 July 2022