Theorem Prover as a Judge for Synthetic Data Generation.

Joshua Ong Jun Leang, Giwon Hong, Wenda Li, Shay B. Cohen

Browse the full ACL paper archive.