EasyProver

Search everything

Mentions · 7d1
Mentions · 30d1
All mentions1
First seenOct 27, 2026
Last mentioned3d ago

Timeline

1 articles · newest first

EasyProver solves near-saturated Lean benchmarks and half of harder Aegis tasks

On a stratified Aegis sample of 2,000 statements, it proves 1,054 within a 30-minute budget.

Hugging Face daily papersOct 27, 20:00 UTC · 3d agoAI research 2 sources

Appears with

Aegisproduct · 1
Aeneasproduct · 1
Leanproduct · 1

Entities are extracted by the model from each article. First seen Oct 27, 2026, last mentioned 3d ago. Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.