Alex Sanchez-Stern

1. Generating Correctness Proofs with Neural Networks
   2019/07/17 by Alex Sanchez-Stern, Sanchez-Stern, Alex, Yousef Alhessi +5 · 2 voices · 6 citations
   #cs.PL
2. Rango: Adaptive Retrieval-Augmented Proving for Automated Software Verification
   2024/12/18 by Kyle Thompson, Nuno Saavedra, Thompson, Kyle +16 · 2 voices · 12 citations
   Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.AI #cs.SE