Operator Packages Improve Verified Search in Local 30B Models
September 25, 2026
A FunSearch-style loop using a 30B local model shows that adding a schematic notebook and behavioral repulsion from existing constructions closes the gap between seed and record by +0.196. Repulsion significantly increases construction-hash diversity across nine different problems.
HOW THIS AFFECTS YOU
●
builderYou can run more efficient verified search loops on consumer-grade hardware using local models.
●
researcherYou can improve automated program synthesis by implementing construction-rejection mechanisms.