Jui-Hui Chung

activity

20192026

most citedNeural Monte Carlo Renormalization Group

16 citations · 16 across the 8 of their papers we have counts for

collaborators

Showing 2025Show all

2 papers · 1 filter

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-…