Benchmark
MathlibMPR
A retrieval evaluation benchmark for Mathlib that focuses on metrics such as coverage of complete proof paths.
Timeline (last 90 days)
Oct 16
On the MathlibMPR benchmark, LeanGraphSearch additionally increases coverage of fully annotated proof paths by up to 3.7% of problem groups.
Unverified50%