Publications


Code2Inv: A Deep Learning Framework for Program Verification.

Xujie Si, Aaditya Naik, Hanjun Dai, Mayur Naik, Le Song
CAV 2020 [ Paper ]

Learning Loop Invariants for Program Verification.

Xujie Si, Hanjun Dai, Mukund Raghothaman, Mayur Naik, Le Song
NeurIPS 2018 [ Paper, Poster, Video Abstract ]