ResearchBenchmarksPremise Selection on LeanDojo Benchmark 4 Lean 3 (random)Follow12.8R@1ReProver12.1612.4812.813.12Jun 27, 2023Evaluation ResultsMethodMethodLinksR@1R@10MRRReProversplit=randomsplit=random2023.0612.834.70.29