Style de citation APA (7e éd.)

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

Style de citation Chicago (17e éd.)

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

Style de citation MLA (9e éd.)

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