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.
- Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction (2025)
Yong Lin*, Shange Tang*, Bohan Lyu*, Ziran Yang*, Jui-Hui Chung*, Haoyu Zhao*, Lai Jiang*, Yihan Geng*
Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin*, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin*
Technical Report. [arXiv]
Mathematical physics
- Essentially Commuting with a Unitary (2025)
with Jacob Shapiro
Preprint. [arXiv]
- Topological Classification of Insulators: II. Quasi-Two-Dimensional Locality (2024)
with Jacob Shapiro
Preprint. [arXiv]
- Topological Classification of Insulators: I. Non-interacting Spectrally-Gapped One-Dimensional Systems (2023)
with Jacob Shapiro
Adv. Math. 480, 110486 (2025). [Journal] [arXiv]
Older work (in physics)
- Neural Monte Carlo renormalization group (2021)
Jui-Hui Chung, Ying-Jer Kao
Phys. Rev. Research 3, 023230 (2021). [Journal] [arXiv]
- Optimal Real-Space Renormalization-Group Transformations with Artificial Neural Networks (2019)
Jui-Hui Chung, Ying-Jer Kao
Workshop on Machine Learning and the Physical Sciences (NeurIPS 2019). [Workshop]
- Electronic Properties of Möbius Cyclacenes Studied by Thermally-Assisted-Occupation Density Functional Theory (2019)
Jui-Hui Chung, Jeng-Da Chai
Sci Rep 9, 2907 (2019). [Journal]
- Self-consistent determination of the fictitious temperature in thermally-assisted-occupation density functional theory (2017)
Chih-Ying Lin, Kerwin Hui, Jui-Hui Chung, Jeng-Da Chai
RSC Adv 7, 50496 (2017). [Journal]
Last updated: Aug 9, 2025.