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.
Stories per day · 30 days
1 stories, newest first · one card per story
Stories tagged #easyprover