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