#LeanGraphSearch

1 stories · 0 in 7 days · 1 in 30 days

Lean 4 1 Mathlib 1 RAG 1 定理证明 1

Stories, products and papers tagged "LeanGraphSearch", newest first.

Oct 16

Papers Builders11:32

Chinese contentLeanGraphSearch：基于依赖图的 Lean 4 定理证明检索方法

做了个把 Mathlib 依赖关系建成图来搜引理的工具，召回率比 LeanSearch v2 高 12%，做形式化证明的可以试试。

#Lean 4 #Mathlib #LeanGraphSearch #定理证明

arXiv cs.LG@Yihan Xu et al. (10)Source