@misc{indiciaea15e3bc08266,
  title = {RAIN: Agentic Proof Generation for Rocq-based Software Verification},
  author = {Jinyi Zhou and Zenan Li and Yuan Yao and Jun Ma and Taolue Chen and Xiaoxing Ma},
  year = {2026},
  url = {https://arxiv.org/abs/2610.30759},
  note = {Source identifier: 2610.30759}
}