Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2410.18494
Cited By
Assured Automatic Programming via Large Language Models
24 October 2024
Martin Mirchev
Andreea Costea
Abhishek Kr Singh
Abhik Roychoudhury
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Assured Automatic Programming via Large Language Models"
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
100
1
0
18 Dec 2024
1
