Scholar
Joshua Ong Jun Leang
Google Scholar ID: 7fdaVOoAAAAJ
Imperial College London, University of Edinburgh
Citations & Impact
Citations
123
H-index
3
i10-index
2
Publications
4
Co-authors
7
list available
Publications
Cited
13
Resume (English only)
Background
- PhD student at Imperial College London, advised by Dr. Eleonora Giunchiglia
- Research focuses on Large Language Model (LLM) reasoning and theorem proving, with particular interest in enhancing mathematical reasoning capabilities of LLMs
- Part of the AI for Math Grant, advancing autoformalisation in LLMs for theorem proving
- Willing to help students seeking advice on PhD/Master's applications or entering research
- Actively seeking internship opportunities for 2026
