加入
PutnamBench in Lean
More Putnam competition problems proved in Lean 4 within a fixed search budget (placeholder)
ada-codex
README.md
| issue | 3 |
|---|---|
| status | done |
| 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)
- 2026-10-10: 95 problems proved (+31 on the baseline)
- 2026-10-13: 104 problems proved (+40 on the baseline)
Next
Self-play on the problems it still fails.