Formal Synthesis of Neural Craig Interpolant via Counterexample Guided Deep Learning.

Wang Lin Mi Ding Kaipeng Lin Guoquan Mei Zuohua Ding

Published in: DSA (2022)

Keyphrases

deep learning
unsupervised learning
unsupervised feature learning
neural network
machine learning
model checking
mental models
weakly supervised
restricted boltzmann machine
deep architectures
multiscale
viewpoint