Treating loop optimization as a search problem where a language model proposes moves and a compiler is the only source of truth
Propose, Verify, Measure, Refine: A Formal Look at Feedback Grounded Code Optimization
Treating loop optimization as a search problem where a language model proposes moves and a compiler is the only source of truth
