Generating Correctness Proofs with Neural Networks

Alex Sanchez-Stern, Yousef Alhessi, Lawrence Saul +1

Foundational verification allows programmers to build software which has been empirically shown to have high levels of assurance in a variety of important domains. However, the cos…