Jui-Hui Chung

1. Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction
   2025/08/05 by Yong Lin, Shange Tang, Lin, Yong +37 · 2 voices · 36 citations
   Computer Science · #Artificial Intelligence (cs.AI) #FOS: Computer and information sciences #Machine Learning (cs.LG) #cs.AI #cs.LG
2. Topological Classification of Insulators: I. Non-interacting Spectrally-Gapped One-Dimensional Systems
   2023/06/01 by Jui-Hui Chung, Jacob N. Shapiro, Chung, Jui-Hui +1 · 1 citation
   Physics and Astronomy · #Advanced Condensed Matter Physics #FOS: Mathematics #FOS: Physical sciences #Functional Analysis (math.FA) #General Topology (math.GN) #Mathematical Physics (math-ph) #Quantum many-body systems #Topological Materials and Phenomena