@misc{indiciae3bbad5e80d5c,
  title = {KaPilot: LLM-Assisted Generation of Kani Specifications for Unsafe Rust Verification},
  author = {Minghua Wang and Yuxi Ling and Mingzhi Gao and Yuwei Liu and Lin Huang},
  year = {2026},
  url = {https://arxiv.org/abs/2607.21957},
  note = {Source identifier: 2607.21957}
}