Joshua Ong

I am a second-year PhD student at Imperial College London and a 2026 Google PhD Fellow, fortunate to be advised by Eleonora Giunchiglia, Shay Cohen and Wenda Li. I am also a visiting researcher at the Institute of Foundation Models, part of the Mohamed bin Zayed University of Artificial Intelligence (MBZUAI). Prior to joining Imperial College London, I was a visiting researcher at the University of Edinburgh, where I obtained my BSc in Mathematics and Statistics.

My research focuses on Large Language Model (LLM) Reasoning and theorem proving, with a particular interest in understanding and improving the mathematical reasoning capabilities of LLMs. Currently, my interests lie in generating verifiable synthetic data for LLMs [1], and training reasoning models for both formal and informal mathematics [2]. I am also part of the AI for Math Grant, where our main focus lies in advancing theorem proving autoformalisation within LLMs.

I am actively looking for internship opportunities for 2027. Feel free to reach out to me if there are any interesting or suitable positions!