Get started
Author

Joshua Ong Jun Leang

Observed names: Leang, Joshua, Leang, Joshua Ong Jun
OpenAlex ID: A5114335069
Are We Done with MMLU?
2025 · Aryo Pradipta Gema, Joshua Ong Jun Leang, et al. · Conference of the North American Chapter of the Association for Computational Linguistics: Human Language Technologies (NAACL-HLT) · 6
PDF
Theorem Prover as a Judge for Synthetic Data Generation
2025 · Joshua Ong Jun Leang, Giwon Hong, et al. · Proceedings of the conference - Association for Computational Linguistics. Meeting · 2
PDF
Are We Done with MMLU?
2024 · Gema, Aryo Pradipta, Leang, Joshua Ong Jun, et al. · arXiv (Cornell University) · 1
PDF
Magenta: Closing the Loop Between Mathematical Reasoning and Lean Verification
2026 · Leang, Joshua Ong Jun, Li, Haonan, et al. · arXiv (Cornell University)
PDF
AoA: Theorem Proving Agent over Abstract Syntax Tree of Redesigned Language
2026 · Xu, Qiyuan, Leang, Joshua Ong Jun, et al. · arXiv (Cornell University)
PDF
Pythagoras-Prover: Advancing Efficient Formal Proving via Augmented Lean Formalisation
2026 · Leang, Joshua Ong Jun, Zhao, Zheng, et al. · arXiv (Cornell University)
PDF
PiCSAR: Probabilistic Confidence Selection and Ranking for Reasoning Chains
2026 · Association for Computational Linguistics 2026, Cohen, Shay, et al. · Underline Science Inc.
SCOPE: Self-Play via Co-Evolving Policies for Open-Ended Tasks
2026 · Kwan, Wai-Chung, Gema, Aryo Pradipta, et al. · arXiv (Cornell University)
PDF
Can I Have Your Order? Monte-Carlo Tree Search for Slot Filling Ordering in Diffusion Language Models
2026 · Leang, Joshua Ong Jun, Zhao, Yu, et al. · arXiv (Cornell University)
PDF
Neural Theorem Proving for Verification Conditions: A Real-World Benchmark
2026 · Xu, Qiyuan, Luan, Xiaokun, et al. · arXiv (Cornell University)
PDF
PiCSAR: Probabilistic Confidence Selection and Ranking for Reasoning Chains
2026 · Joshua Ong Jun Leang, Zheng Zhao, et al. · Findings of the Association for Computational Linguistics: ACL (Findings of ACL)
PDF
OpenSIR: Open-Ended Self-Improving Reasoner
2025 · Kwan, Wai-Chung, Leang, Joshua Ong Jun, et al. · arXiv (Cornell University)
PDF
CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning
2025 · Joshua Ong Jun Leang, Aryo Pradipta Gema, et al. · Conference on Empirical Methods in Natural Language Processing (EMNLP)
PDF
Works count: 15
Citation count: 9
H-index: 2
I10-index:
Year
Topic
Type