---
license: cc-by-4.0
tags:
- synthetic
- optimization
- verifier-guided-search
---

# Douvras Construction Mutator v0.1

Transparent baseline for D22. It uses a bounded deterministic beam search and
verifier feedback, recording every score and rejection.
It is a deterministic search procedure, not a neural model and not a claim of
mathematical discovery. It was evaluated on the six synthetic problem
instances in the dataset; the toy optimum is known to be four.