Joshua Ong Jun Leang
3 papers · 2025–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
🌍
Conference Polyglot · Bronze
🌉
Interdisciplinary Bridge · Bronze
🗺️
Taxonomy Completionist
(11)
❓
The Questioner
Top co-authors
Research topics
Keywords
mathematical reasoning
(2)
large language model
(2)
language understanding
(1)
synthetic data generation
(1)
reinforcement learning from human feedback
(1)
symbolic computation
(1)
theorem prover
(1)
chain-of-thought prompting
(1)
chain of thought
(1)
natural language query
(1)
faithful reasoning
(1)
llm reasoning
(1)
ground-truth annotation
(1)
reasoning faithfulness
(1)
dataset error
(1)
language model performance
(1)
benchmark evaluation
(1)
reasoning execution
(1)
symbolic reasoning
(1)