#Lean 4

LeanGraphSearch：依赖图搜索提升定理证明检索与通过率

LeanGraphSearch 提出基于依赖图的 Lean 4 定理证明检索方法，通过多跳依赖传播提升 Mathlib 召回率最高 12%，并在端到端证明中相比普通证明器通过率最高提升 40%。