Joshua Ong Jun Leang

According to our database, Joshua Ong Jun Leang authored at least 7 papers between 2025 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks.

Wai-Chung Kwan, Aryo Pradipta Gema, Joshua Ong Jun Leang, Pasquale Minervini

CoRR, May, 2026

Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models.

Joshua Ong Jun Leang, Yu Zhao, Mihaela Catalina Stoian, Wenda Li, Shay B. Cohen, Eleonora Giunchiglia

CoRR, February, 2026

Neural Theorem Proving for Verification Conditions: A Real-World Benchmark.

Qiyuan Xu, Xiaokun Luan, Renxi Wang, Joshua Ong Jun Leang, Peixin Wang, Haonan Li, Wenda Li, Conrad Watt

CoRR, January, 2026

2025

OpenSIR: Open-Ended Self-Improving Reasoner.

Wai-Chung Kwan, Joshua Ong Jun Leang, Pavlos Vougiouklis, Jeff Z. Pan, Marco Valentino, Pasquale Minervini

CoRR, November, 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, Xiaotang Du, Mohammad Reza Ghasemi Madani, Claire Barale, Robert McHardy, Joshua Harris, Jean Kaddour, Emile van Krieken, Pasquale Minervini

Proceedings of the 2025 Conference of the Nations of the Americas Chapter of the Association for Computational Linguistics: Human Language Technologies, 2025

CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning.

Joshua Ong Jun Leang, Aryo Pradipta Gema, Shay B. Cohen

Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing, 2025

Theorem Prover as a Judge for Synthetic Data Generation.

Joshua Ong Jun Leang, Giwon Hong, Wenda Li, Shay B. Cohen

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025