Hilbert: Recursively Building Formal Proofs with Informal Reasoning - Varambally, Sumanth; Voice, Thomas; Sun, Yanchao; Chen, Zhifeng; Yu, Rose; Ye, Ke (International Conference on Learning Representations, 2026)