Jui-Hui Chung 鍾瑞輝

The Program in Applied and Computational Mathematics, Princeton University
Fine Hall, Princeton NJ 08540
email: jc1220 AT math.princeton.edu

I'm a PhD student in the Program in Applied and Computational Mathematics at Princeton University, advised by Jacob Shapiro. I'm interested in mathematical physics of topological insulators. Recently, I'm working on automated theorem proving with LLMs, advised by Chi Jin. I received my undergrad and master degrees in physics from National Taiwan University, where I was advised by Ying-Jer Kao, and worked on computational physics.

Automated theorem proving with LLMs

We use LLMs to generate proofs written in Lean formal mathematical language, and use Lean compiler to verify the proofs. Our Goedel‑Prover attains state‑of‑the‑art performance on miniF2F, PutnamBench and MathOlympiadBench.

Mathematical physics

Older work (in physics)

Last updated: Aug 9, 2025.