Deep Learning

Accerlating Constraint Solving in Symbolic Execution by CNN

An extensible work to "CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks".

Learning Semantic Program Embeddings

Learning Semantic Program Embeddings via Graph Interval Neural Network.