metadata
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.