Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2505.22846
Cited By
RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation
28 May 2025
Nikita Khramov
Andrei Kozyrev
Gleb Solovev
Anton Podkopaev
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"RocqStar: Leveraging Similarity-driven Retrieval and Agentic Systems for Rocq generation"
1 / 1 papers shown
Title
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
Kyle Thompson
Nuno Saavedra
Pedro Carrott
Kevin Fisher
Alex Sanchez-Stern
Yuriy Brun
J. Ferreira
Sorin Lerner
E. First
LRM
240
4
0
18 Dec 2024
1
