Virtual Adversarial Training for Semi-supervised Verification Tasks.
Vahid NorooziSara BahaadiniLei ZhengSihong XiePhilip S. YuPublished in: EUSIPCO (2019)
Keyphrases
- semi supervised
- supervised learning
- virtual environment
- virtual world
- fully labeled
- pairwise
- training process
- unsupervised learning
- semi supervised learning
- labeled data
- augmented reality
- training examples
- training samples
- model checking
- virtual reality
- test set
- unlabeled data
- online learning
- training set
- data mining
- semi supervised classification
- formal verification
- supervised methods
- unsupervised methods