Code2Inv: A Deep Learning Framework for Program Verification.
Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
CAV 2020
[
Paper,
Slides
]
Learning Loop Invariants for Program Verification.
Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
NeurIPS 2018
[
Paper,
Poster,
Video Abstract
]