Lean Graph Search for Formal Theorem Proving
DGX agentarXiv:2610.22339v1 Announce Type: new Abstract: Retrieving relevant lemmas is crucial for formal theorem proving, enabling provers to build machine-checkable proofs from established mathematical resul