Yu Wang
Yu Wang
Home
Publications
Teaching
Service
Fundings
Contact
Light
Dark
Automatic
Deep Learning
Accerlating Constraint Solving in Symbolic Execution by CNN
An extensible work to “CNNSAT: Fast, Accurate Boolean Satisfiability using Convolutional Neural Networks”.
Code
Learning Semantic Program Embeddings
Learning Semantic Program Embeddings via Graph Interval Neural Network.
Code
Cite
×