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.
Inference Providers NEW
This model isn't deployed by any Inference Provider. 🙋 Ask for provider support