@misc{indiciae98ed8a02ae2b,
  title = {RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation},
  author = {Andrei Kozyrev and Nikita Khramov and Gleb Solovev and Anton Podkopaev},
  year = {2026},
  url = {https://arxiv.org/abs/2505.22846},
  note = {Source identifier: 2505.22846}
}