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

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

## What happened

- Started.

## Next

Bring the premise retrieval in.