@misc{indiciaeb801ed4fd7bc,
  title = {Self-Spec Verifiable Code Generation},
  author = {Jiaru Qian and Yihong Dong and Yongmin Li and Hao Zhu and Bin Gu and Ge Li},
  year = {2026},
  url = {https://arxiv.org/abs/2609.39568},
  note = {Source identifier: 2609.39568}
}