Goedel-Architect: Streamlining Formal Theorem Proving with Blueprint Generation and Refinement
DGX agentarXiv:2606.06468v1 Announce Type: new Abstract: We introduce Goedel-Architect, an agentic framework for formal theorem proving in Lean 4 centered on blueprint generation and refinement. A blueprint is