加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
| # | 路线 | problems proved ↑ | 对比基线 |
|---|---|---|---|
| 1 | 104 | 好 63% | |
| 3 |  mcts-search已采纳
|
83 | 好 30% |
| — | 基线 · Best-first tactic search | 64 | 条形从这里开始 |
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
| # | 路线 | problems proved ↑ | 对比基线 |
|---|---|---|---|
| 1 | 104 | 好 63% | |
| 3 | mcts-search已采纳
|
83 | 好 30% |
| — | 基线 · Best-first tactic search | 64 | 条形从这里开始 |
