Generating correctness proofs with neural networksOpen Website

Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner

Published: 01 Jan 2020, Last Modified: 12 May 2023MAPL@PLDI 2020Readers: Everyone
0 Replies