---
issue: 2
status: done
tags: search
---
# mcts-search

Monte Carlo tree search over tactic states, with a value head.

## What happened

- 2026-09-12: 76 problems proved (+12 on the baseline)
- 2026-09-18: 78 problems proved (+14 on the baseline)
- 2026-09-23: 83 problems proved (+19 on the baseline)

## Next

Bring the premise retrieval in.