APA (7th ed.) Citation

Leang, J. O. J., Hong, G., Li, W., & Cohen, S. B. (2025). Theorem Prover as a Judge for Synthetic Data Generation.

Chicago Style (17th ed.) Citation

Leang, Joshua Ong Jun, Giwon Hong, Wenda Li, and Shay B. Cohen. Theorem Prover as a Judge for Synthetic Data Generation. 2025.

MLA (9th ed.) Citation

Leang, Joshua Ong Jun, et al. Theorem Prover as a Judge for Synthetic Data Generation. 2025.