@misc{indiciae6c6f62470ea3,
  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},
  url = {https://arxiv.org/abs/2502.05344},
  note = {Source identifier: 2502.05344}
}