@misc{indiciae206d0e635119,
  title = {Agentic Verified Optimization of Real-World Software},
  author = {Zhe Ye and Udaya Ghai and Zhizhen Qin and Dawn Song and Soonho Kong},
  year = {2026},
  url = {https://arxiv.org/abs/2610.30188},
  note = {Source identifier: 2610.30188}
}