Generating correctness proofs with neural networks (Journal Article) | NSF PAGES

skip to main content

Citation Details

Generating correctness proofs with neural networks

Authors:: Sanchez-Stern, Alex; Alhessi, Yousef; Saul, Lawrence; Lerner, Sorin

Award ID(s):: 1955457

Publication Date:: 2020-06-01

NSF-PAR ID:: 10252256

Journal Name:: 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languagesu

Page Range or eLocation-ID:: 1 to 10

Sponsoring Org:: National Science Foundation

Free Publicly Accessible Full Text
Accepted Manuscript1.0
Publisher's Version of Record
https://doi.org/10.1145/3394450.3397466