CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning. - Joshua Ong Jun Leang; Aryo Pradipta Gema; Shay B. Cohen (CoRR, 2024)

Theorem Prover as a Judge for Synthetic Data Generation. - Joshua Ong Jun Leang; Giwon Hong; Wenda Li; Shay B. Cohen (ACL (1), 2025)

Are We Done with MMLU? - Aryo Pradipta Gema; Joshua Ong Jun Leang; Giwon Hong; Alessio Devoto; Alberto Carlo Maria Mancino; Rohit Saxena; Xuanli He; Yu Zhao 043; Xiaotang Du; Mohammad Reza Ghasemi Madani; Claire Barale; Robert McHardy; et al. (NAACL (Long Papers), 2025)