Generating correctness proofs with neural networks.

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

Browse the full PLDI paper archive.