---
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)
- 2026-10-10: 95 problems proved (+31 on the baseline)

## Next

Self-play on the problems it still fails.