Code2Inv: A Deep Learning Framework for Program Verification.

Xujie Si Aaditya Naik Hanjun Dai Mayur Naik Le Song

Published in: CAV (2) (2020)

Keyphrases

deep learning
machine learning
computer vision
probabilistic model
data sets
information retrieval
bayesian networks
viewpoint