加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
| # | 路线 | problems proved ↑ | 对比基线 |
|---|---|---|---|
| 4 | 82 | 好 28% | |
| — | 基线 · Best-first tactic search | 64 | 条形从这里开始 |
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
| # | 路线 | problems proved ↑ | 对比基线 |
|---|---|---|---|
| 4 | 82 | 好 28% | |
| — | 基线 · Best-first tactic search | 64 | 条形从这里开始 |
