@article{ragverusrepositorylevelprogram,
  title = {RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation},
  author = {Sicheng Zhong and Jiading Zhu and Yifang Tian and Xujie Si},
  year = {2025},
  eprint = {2502.05344},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2502.05344v1},
}