Mathematics · Machine learning · Formal methods

AI for mathematical
reasoning.

I work on automated theorem proving with language models, with an interest in how agentic and evolutionary systems can support mathematical research.

I am a mathematics PhD student at NUS, advised by Prof. Liu Yang and co-advised by Prof. Xinliang An, in the Scaling Group. My background is in mathematics and physics, spanning logic, geometry, and number theory.

Research experience

2024 — present

National University of Singapore

Doctoral research Current

AI4Math, language-model theorem proving, and evolutionary search. Developing tools to generate, verify, and analyse formal proofs in Lean.

Explore ProofConf

Jun — Aug 2026

Zhejiang Lab

Visiting research · Hangzhou, China

Three-month research visit for the NUS–Zhejiang Lab AI for Math collaboration, involving Prof. Liu Yang and Prof. Zhang Lei.

2023

Tokyo Institute of Technology

Young Science and Engineering Researchers Program

Pseudospheres and Bäcklund transforms. Differential geometry and soliton theory, supervised by Prof. Kotaro Yamada.

2022

National University of Singapore

Advanced Undergraduate Research Opportunity Programme

Gauss sums. Number theory and representation theory, including the Weil representation, supervised by Prof. Hung Yean Loke.

Selected work

Formal proofs · Confidence estimation

Code

ProofConf

Does a model’s confidence tell us whether its proof is correct?

I built a reproducible pipeline to investigate this question: generate Lean proofs with language models, check them with Lean, and compare token-level confidence signals against verification outcomes.

  1. 01GenerateProofs & token log-probabilities
  2. 02VerifyCorrectness checked by Lean
  3. 03AnalyseConfidence against pass / fail

Includes sliding-window confidence metrics and localisation of low-confidence proof segments.

DeepConf

Python implementation of Deep Think with Confidence by Fu et al.

Background

Full CV

Education

PhD in Mathematics 2024 — present

National University of Singapore

BSc in Mathematics and Physics 2020 — 2024

National University of Singapore · Honours with Highest Distinction

Thesis: Large Cardinals, supervised by Prof. Chong Chi Tat.
Special Programme in Mathematics.

Recognition

Tin Ka Ping Foundation Scholarship
Tham Kai Shui Excelsior Scholarship
Dean’s Lists

Teaching

Teaching Assistant · NUS 2023 — present

Calculus, linear algebra, and quantitative finance.