TY  - RPRT
TI  - Theorem Prover as a Judge for Synthetic Data Generation
AU  - Joshua Ong Jun Leang
AU  - Giwon Hong
AU  - Wenda Li
AU  - Shay B. Cohen
PY  - 2026
DO  - 10.18653/v1/2025.acl-long.1448
UR  - https://arxiv.org/abs/2502.13137
ID  - 2502.13137
ER  -