Formal synthesis of neural Craig interpolant via counterexample guided deep learning.

Wang Lin Mi Ding Kaipeng Lin Zuohua Ding

Published in: Inf. Softw. Technol. (2023)

Keyphrases

deep learning
unsupervised learning
unsupervised feature learning
neural network
machine learning
model checking
restricted boltzmann machine
mental models
computer vision
weakly supervised
data mining
feature selection
multi class
domain specific
deep belief networks