Theorem Prover as a Judge for Synthetic Data Generation

Joshua Ong Jun Leang | Giwon Hong | Wenda Li | Shay B Cohen |

Paper Details:

Month: July
Year: 2025
Location: Vienna, Austria
Venue: ACL |