National University of Singapore
PhD in Mathematics
Advisor: Prof. Liu Yang. Co-advisor: Prof. Xinliang An.
Mathematics, AI4Math, theorem proving
About
I am a PhD student in Mathematics at the National University of Singapore, advised by Prof. Liu Yang and co-advised by Prof. Xinliang An. My current interests include AI4Math, automatic theorem proving with large language models, agentic systems, evolutionary algorithms, and scientific AI for differential equations.
Research Interests
AI4Math
Automatic theorem proving
Scientific AI
PDEs and ODEs
In-context operator learning
AlphaEvolve-style systems
Education
National University of Singapore
B.Sc. in Mathematics and Physics, Honours with Highest Distinction
Thesis: Large Cardinals. Special Programme in Mathematics.
Experience
Undergraduate and Graduate Teaching Assistant
NUS courses in calculus, linear algebra, and quantitative finance.
Research Projects
Gauss sums at NUS; pseudospheres and Backlund transforms at Tokyo Institute of Technology.