A verification loop 4x'd DeepSeek's intelligence, matching Opus at 1/7 the cost

This article discusses the benefits of adding a verification loop to a coding agent, specifically a model that writes code quickly but may not know if that code works. The authors use their own verification and fix layer, IronBee, to test the hypothesis that a closed verification loop can bring a low-cost model up to the level of a frontier model.