Agentic Verified Optimization of Real-World Software.

arXiv:2610.30188v1 Announce Type: cross Abstract: Program optimization aims to improve performance while preserving behavior. Coding agents can already make programs faster by changing algorithms, data structures, and execution strategies. However, existing eq