Publications

2025

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

2024

  1. CoMAT: Chain of mathematically annotated thought improves mathematical reasoning
    Joshua Ong Jun Leang, Aryo Pradipta Gema, and Shay B Cohen
    arXiv preprint arXiv:2410.10336, 2024
  2. Are We Done with MMLU?
    Aryo Pradipta Gema, Joshua Ong Jun Leang, Giwon Hong, Alessio Devoto, and 7 more authors
    arXiv preprint arXiv:2406.04127, 2024