基准
MathlibQR
面向 Mathlib 的引理检索评测基准，用于衡量检索系统召回相关引理的能力
时间轴 (近 90 天)
10月16日
在 MathlibQR 基准上，LeanGraphSearch 相对最强基线 LeanSearch v2 的召回率最高提升 12%。
待验证50%
面向 Mathlib 的引理检索评测基准，用于衡量检索系统召回相关引理的能力
在 MathlibQR 基准上，LeanGraphSearch 相对最强基线 LeanSearch v2 的召回率最高提升 12%。