@article{veristructaiassistedautomatedverificatio,
  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 = {2025},
  eprint = {2510.25015},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2510.25015},
}