TY  - RPRT
TI  - RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
AU  - Andrei Kozyrev
AU  - Nikita Khramov
AU  - Gleb Solovev
AU  - Anton Podkopaev
PY  - 2026
UR  - https://arxiv.org/abs/2505.22846
ID  - 2505.22846
ER  -