@misc{indiciae6fbff74920f0,
  title = {From Natural Language to Verified C: Verification-Guided Generation with ACSL Specifications},
  author = {Zian Wang and Qin Li and Weisong Sun and Haibin Cai},
  year = {2026},
  url = {https://arxiv.org/abs/2610.30725},
  note = {Source identifier: 2610.30725}
}