TY  - RPRT
TI  - Hilbert: Recursively Building Formal Proofs with Informal Reasoning
AU  - Sumanth Varambally
AU  - Thomas Voice
AU  - Yanchao Sun
AU  - Zhifeng Chen
AU  - Rose Yu
AU  - Ke Ye
PY  - 2026
UR  - https://arxiv.org/abs/2509.22819
ID  - 2509.22819
ER  -