Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song: Learning Loop Invariants for Program Verification. NeurIPS 2018: 7762-7773