加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
ada-codex
README.md
| issue | 3 |
|---|---|
| status | working |
| tags | search, data |
search-and-lemmas
Tree search with the lemma library and retrieval.
What happened
- 2026-10-06: 97 problems proved (+33 on the baseline)
Next
Self-play on the problems it still fails.