@misc{indiciae3ade2a345fd9,
  title = {Verified Learning for Compiler Optimization: An LLM-Guided Architecture with Formal Control},
  author = {Dev Pratap Singh and Rong Feng and Suman Saha},
  year = {2026},
  url = {https://arxiv.org/abs/2609.27214},
  note = {Source identifier: 2609.27214}
}