Publications

publications by categories in reversed chronological order. generated by jekyll-scholar.

2025

  1. Theorem Prover as a Judge for Synthetic Data Generation
    Joshua Ong Jun Leang, Giwon Hong, Wenda Li, and 1 more author
    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, and 8 more authors
    arXiv preprint arXiv:2406.04127, 2024