@misc{indiciae5c768a1fb44f,
  title = {Hilbert: Recursively Building Formal Proofs with Informal Reasoning},
  author = {Sumanth Varambally and Thomas Voice and Yanchao Sun and Zhifeng Chen and Rose Yu and Ke Ye},
  year = {2026},
  url = {https://arxiv.org/abs/2509.22819},
  note = {Source identifier: 2509.22819}
}