Sanchez-Stern, Alex

1. Generating Correctness Proofs with Neural Networks
   2019/07/17 by Alex Sanchez-Stern, Sanchez-Stern, Alex, Yousef Alhessi +5 · 2 voices · 5 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 · 11 citations
   Computer Science · #Software Engineering Research #Software System Performance and Reliability #Software Testing and Debugging Techniques #cs.AI #cs.SE
3. Finding Root Causes of Floating Point Error with Herbgrind
   2017/05/29 by Sanchez-Stern, Alex, Panchekha, Pavel, Lerner, Sorin +1 · 4 citations
   #FOS: Computer and information sciences #Programming Languages (cs.PL)