Lean Graph Search for Formal Theorem Proving
A graph search approach improves lemma retrieval by leveraging multi-hop dependencies in formal theorem proving libraries.
A graph search approach improves lemma retrieval by leveraging multi-hop dependencies in formal theorem proving libraries.