Benchmark
MathlibQR
A lemma retrieval evaluation benchmark for Mathlib, used to measure the ability of retrieval systems to recall relevant lemmas.
Timeline (last 90 days)
Oct 16
On the MathlibQR benchmark, LeanGraphSearch improves recall by up to 12% relative to the strongest baseline, LeanSearch v2.
Unverified50%