--- title: "Joshua Ong Jun Leang — author profile and papers · Reasoning" description: "Joshua Ong Jun Leang, Imperial College London: 2 papers on Elamur Research (2025), h-index 1 — affiliations, topics, co-authors and who…" canonical: "https://research.elamur.ai/free/en/authors/joshua-ong-jun-leang/" --- [Elamur Research](https://md.research.elamur.ai/free/en/) · [this page in HTML](https://research.elamur.ai/free/en/authors/joshua-ong-jun-leang/) [home](https://md.research.elamur.ai/free/en/) / [authors](https://md.research.elamur.ai/free/en/authors/) / Joshua Ong Jun Leang # Joshua Ong Jun Leang Joshua Ong Jun Leang has 2 papers in our library, in 2025, most of them on [Reasoning](https://md.research.elamur.ai/free/en/topics/reasoning/); often with [Shay B. Cohen](https://md.research.elamur.ai/free/en/authors/shay-b-cohen/), [Giwon Hong](https://md.research.elamur.ai/free/en/authors/giwon-hong/), [Wenda Li](https://md.research.elamur.ai/free/en/authors/wenda-li/). 2 papers in our library · 2025 [OpenAlex](https://openalex.org/A5114335069) · [**h-index 1**](https://openalex.org/authors/A5114335069) · [15 works](https://openalex.org/works?filter=author.id:A5114335069) · [8 citations](https://openalex.org/works?filter=author.id:A5114335069&sort=cited_by_count:desc) OpenAlex, 2026-10-14 [📄 2 works in our library](https://md.research.elamur.ai/free/en/authors/joshua-ong-jun-leang/#papers) · [🔗 Cited 22 times in our library](https://md.research.elamur.ai/free/en/authors/joshua-ong-jun-leang/cited-by/) · [⭐ Paper Stars ranking: #10089](https://md.research.elamur.ai/free/en/paper-stars/page/101/#star-10089) The profile is the library's match of the name; two people with one name are not always told apart. Elsewhere: [Google Scholar](https://scholar.google.com/citations?view_op=search_authors&mauthors=Joshua+Ong+Jun+Leang) · [Semantic Scholar](https://www.semanticscholar.org/search?q=Joshua+Ong+Jun+Leang) · [dblp](https://dblp.org/search?q=Joshua+Ong+Jun+Leang) · [ACL Anthology](https://aclanthology.org/search/?q=Joshua+Ong+Jun+Leang) ## Affiliations [🎓**Imperial College London** London · United Kingdom 2025–2026 · 6 papers*current*](https://md.research.elamur.ai/free/en/universities/imperial-college-london/) · [🎓**University of Edinburgh** Edinburgh · United Kingdom 2025–2026 · 6 papers*current*](https://md.research.elamur.ai/free/en/universities/university-of-edinburgh/) From the bylines of their papers (OpenAlex, 2026-10-14), ORCID and Wikidata; institutions on papers are matched by machine. ## Fields, topics and concepts Of its works in our library, with the number of works on each. 📚 Shelves 7 The field of science this work belongs to (OpenAlex fields).[Computer Science · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/) · [Artificial Intelligence · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/artificial-intelligence/) · [Computational Theory and Mathematics · 2 works](https://md.research.elamur.ai/free/en/shelves/computer-science/computational-theory-and-mathematics/) · [Arts and Humanities · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/) · [Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/) · [Applied Mathematics · 1 work](https://md.research.elamur.ai/free/en/shelves/mathematics/applied-mathematics/) · [Language and Linguistics · 1 work](https://md.research.elamur.ai/free/en/shelves/arts-and-humanities/language-and-linguistics/) 🧭 Topics 1 Research subjects and languages the work is about.[Reasoning · 2 works](https://md.research.elamur.ai/free/en/topics/reasoning/) ## Works by year ### 2020s [**2025** 2 papers](https://md.research.elamur.ai/free/en/authors/joshua-ong-jun-leang/year/2025/) ## Papers The most cited first (OpenAlex and our library). 1. **[CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning](https://md.research.elamur.ai/free/en/papers/leang-2025-comat-chain-mathematically-annotated-thought/)** *(2025 · 14 citations)* Large language models still struggle with hard mathematical problems. Standard Chain-of-Thought (CoT) prompting can produce explanations that do not actually support the final answer. Earlier fixes delegate computation to external solvers, but these break when the model writes invalid code. The authors propose CoMAT… 2. **[Theorem Prover as a Judge for Synthetic Data Generation](https://md.research.elamur.ai/free/en/papers/leang-2025-theorem-prover-as-judge-synthetic/)** *(2025 · 9 citations)* Synthetic math data for LLMs often contains solutions whose final answer is right but whose intermediate steps are wrong. LLM-as-a-Judge filtering can be biased, and translating solutions into a formal prover often produces code that fails to run. The authors address this with three parts. ## Co-authors here 3 co-authors with a page, the most papers together first. - [Shay B. Cohen](https://md.research.elamur.ai/free/en/authors/shay-b-cohen/) ×2 - [Giwon Hong](https://md.research.elamur.ai/free/en/authors/giwon-hong/) - [Wenda Li](https://md.research.elamur.ai/free/en/authors/wenda-li/) ## Venues Where their works here were published, the most works first, with the editions of those that have a page. - [Annual Meeting of the Association for Computational Linguistics (ACL)](https://md.research.elamur.ai/free/en/venues/acl/): [ACL 2025](https://md.research.elamur.ai/free/en/venues/acl/2025/) - [Conference on Empirical Methods in Natural Language Processing (EMNLP)](https://md.research.elamur.ai/free/en/venues/emnlp/): [EMNLP 2025](https://md.research.elamur.ai/free/en/venues/emnlp/2025/) ## Cited by Papers of our library cite their works 22 times (of the 149,439 papers whose bibliographies we read); [8 citing papers with a page here →](https://md.research.elamur.ai/free/en/authors/joshua-ong-jun-leang/cited-by/). Updated 1 November 2026