@misc{indiciae8f306f24b0ad,
  title = {VeriStruct: AI-assisted Automated Verification of Data-Structure Modules in Verus},
  author = {Chuyue Sun and Yican Sun and Daneshvar Amrollahi and Ethan Zhang and Shuvendu Lahiri and Shan Lu and David Dill and Clark Barrett},
  year = {2026},
  url = {https://arxiv.org/abs/2510.25015},
  note = {Source identifier: 2510.25015}
}