index / ilumn/jev-proof-selector
jev-proof-selector
Benchmark Jev’s ability to select lemmas for Lean proofs against heuristic baselines and other language models.
Research and EvalsRankingListedPython
Repository
Stars0
LanguagePython
LicenseMIT
Created2026-09-21
Last pushed2026-09-21
Officialno
Judgment
Genuine Jev project0.93
gate 0.5
Uses Jev at runtime0.82
Is a meta list0.04
Is a reimplementation0.12
Quality scales
Substance2.20 / 3
gate 0.5
Docs2.34 / 3
Novelty2.38 / 3
Composite score0.76
Category distribution
Research and Evals1.00
Agent and Dev Tooling0.00
SDKs and Clients0.00
Games and Simulation0.00
Integrations0.00
Learning0.00
Other0.00
Applications0.00
Assigned categoryResearch and Evals
Category probability1.00
Category confidence1.00
PatternRanking
Pattern confidence1.00
Curation
StatusListed
Reasongate passed
README pickno
Overridenone
Sources
- search:jev in:name,description,readme created:2026-09-21
Provenance
Modeljev-1.13.0
Question setv2
Judged at2026-09-22 11:45 UTC