Guess Close, Search Exact: A Formally Verified, Model-Free Memory and Mutation Engine for Language-Model Agents
Language models are good at proposing roughly right answers and poor at being exactly right, cheaply, every time. neo4d is a model-free engine that sits beside a model: it mutates code token by token and lets the tests judge every variant, searches the neighbourhood of a model's attempt, and remembers verified work as...