Created on May 16, 2025
2025
Theorem Prover as a Judge for Synthetic Data Generation has been accepted at ACL 2025 (Main).