@misc{sun2025veristruct,
    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},
    primaryClass={cs.SE},
    url={https://arxiv.org/abs/2510.25015}
  }