TY  - RPRT
TI  - Generating Correctness Proofs with Neural Networks
AU  - Alex Sanchez-Stern
AU  - Yousef Alhessi
AU  - Lawrence Saul
AU  - Sorin Lerner
PY  - 2020
UR  - https://arxiv.org/abs/1907.07794
ID  - 1907.07794
ER  -