File size: 468 Bytes
f4644ae f965445 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 | ---
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.
|