Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2412.14063
Cited By
Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
18 December 2024
Kyle Thompson
Nuno Saavedra
Pedro Carrott
Kevin Fisher
Alex Sanchez-Stern
Yuriy Brun
J. Ferreira
Sorin Lerner
E. First
LRM
Re-assign community
ArXiv
PDF
HTML
Papers citing
"Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification"
1 / 1 papers shown
Title
A cross-regional review of AI safety regulations in the commercial aviation
Penny A. Barr
Sohel M. Imroz
36
0
0
12 Feb 2025
1
