Jui-Hui Chung

collaborators

3 papers

math-ph2026

Topological Classification of Insulators: III. Non-interacting Spectrally-Gapped Systems in All Dimensions

Jui-Hui Chung, Jacob Shapiro

We study non-interacting electrons in disordered materials which exhibit a spectral gap, in each of the ten Altland--Zirnbauer symmetry classes, in all space dimensions. We define…

cs.LG2025

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Yong Lin, Shange Tang, Bohan Lyu +17

We introduce Goedel-Prover-V2, a series of open-source language models that set a new state-of-the-art in automated theorem proving. Built on the standard expert iteration and rein…

math.FA2025

Essentially Commuting with a Unitary

Jui-Hui Chung, Jacob Shapiro

Let $R$ be a unitary operator whose spectrum is the circle. We show that the set of unitaries $U$ which essentially commute with $R$ (i.e., $[U, R] \equiv U R - R U$ is compact) is path-…