@misc{indiciae78628cf0a70c,
  title = {Theorem Prover as a Judge for Synthetic Data Generation},
  author = {Joshua Ong Jun Leang and Giwon Hong and Wenda Li and Shay B. Cohen},
  year = {2026},
  doi = {10.18653/v1/2025.acl-long.1448},
  url = {https://arxiv.org/abs/2502.13137},
  note = {Source identifier: 2502.13137}
}