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.
52
- Mentions · 7d1
- Mentions · 30d1
- All mentions1
- First seenOct 27, 2026
- Last mentioned3d ago
Timeline
1 articles · newest firstAppears with
- Aeneasproduct · 1
- Leanproduct · 1
- EasyProverproduct · 1
Entities are extracted by the model from each article. First seen , last mentioned . Watching keeps it in this browser only (no account); the watchlist page and dashboard alerts use it.