加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
| # | 路线 | problems proved ↑ | 对比基线 |
|---|---|---|---|
| 1 | 104 | 好 63% | |
| 2 | 88 | 好 38% | |
| 5 | 79 | 好 23% | |
| — | 基线 · Best-first tactic search | 64 | 条形从这里开始 |
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
| # | 路线 | problems proved ↑ | 对比基线 |
|---|---|---|---|
| 1 | 104 | 好 63% | |
| 2 | 88 | 好 38% | |
| 5 | 79 | 好 23% | |
| — | 基线 · Best-first tactic search | 64 | 条形从这里开始 |
