Learning Security Classifiers with Verified Global Robustness Properties.

Yizheng Chen Shiqi Wang Yue Qin Xiaojing Liao Suman Jana David A. Wagner

Published in: CoRR (2021)

Keyphrases

learning algorithm
learning systems
learning process
online learning
supervised learning
meta learning
data sets
learning problems
learning tasks
active learning
decision trees
support vector machine
training set
labeled data
naive bayes
reinforcement learning
training data
feature extraction
network security