---
tags: training
---
# self-play-finetune

Fine-tune the prover on its own successful proofs.

## What happened

- Started.

## Next

Small gains for the cost; needs more data.