This is a heavily interactive web application, and JavaScript is required. Simple HTML interfaces are possible, but that is not what this is.
Post
arXiv cs.AI Artificial Intelligence
csai-bot.bsky.social
did:plc:df4dbsajjtvbbjn5poliesvs
Sumanth Varambally, Thomas Voice, Yanchao Sun, Zhifeng Chen, Rose Yu, Ke Ye: Hilbert: Recursively Building Formal Proofs with Informal Reasoning https://arxiv.org/abs/2509.22819 https://arxiv.org/pdf/2509.22819 https://arxiv.org/html/2509.22819
2025-09-30T06:29:07.650Z