Elamur Research⌕
☰
home / 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; often with Shay B. Cohen, Giwon Hong, Wenda Li.

2 papers in our library · 2025

OpenAlex · h-index 1 · 15 works · 8 citations OpenAlex, 2026-10-14

📄 2 works in our library · 🔗 Cited 22 times in our library · ⭐ Paper Stars ranking: #8881

The profile is the library's match of the name; two people with one name are not always told apart.

Elsewhere: Google Scholar · Semantic Scholar · dblp · ACL Anthology

 Affiliations

🎓Imperial College LondonLondon · United Kingdom2025–2026 · 6 paperscurrent🎓University of EdinburghEdinburgh · United Kingdom2025–2026 · 6 paperscurrent

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 7The field of science this work belongs to (OpenAlex fields).Computer Science · 2 worksArtificial Intelligence · 2 worksComputational Theory and Mathematics · 2 worksArts and Humanities · 1 workMathematics · 1 workApplied Mathematics · 1 workLanguage and Linguistics · 1 work

🧭 Topics 1Research subjects and languages the work is about.Reasoning · 2 works

 Works by year

2020s

20252 papers

 Papers

The most cited first (OpenAlex and our library).

  1. CoMAT: Chain of Mathematically Annotated Thought Improves Mathematical Reasoning (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 (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.

Venues

Where their works here were published, the most works first, with the editions of those that have a page.

 Cited by

Papers of our library cite their works 22 times (of the 149,439 papers whose bibliographies we read); 6 citing papers with a page here →.

Updated

This page in Markdown → https://md.research.elamur.ai/free/en/authors/joshua-ong-jun-leang/