基准

MathlibMPR

面向 Mathlib 的检索评测基准，关注完整证明路径覆盖等指标

时间轴 (近 90 天)

10月16日

在 MathlibMPR 基准上，LeanGraphSearch 对完整标注证明路径的覆盖额外增加了最多 3.7% 的问题组。

待验证50%

在 MathlibMPR 基准上，LeanGraphSearch 对完整标注证明路径的覆盖额外增加了最多 3.7% 的问题组。