Alex Sanchez-Stern, Yousef Alhessi, Lawrence K. Saul, Sorin Lerner. Generating correctness proofs with neural networks. In Koushik Sen, Mayur Naik, editors, Proceedings of the 4th ACM SIGPLAN International Workshop on Machine Learning and Programming Languages, MAPL@PLDI 2020, London, UK, June 15, 2020. pages 1-10, ACM, 2020. [doi]
Abstract is missing.