Learning Security Classifiers with Verified Global Robustness Properties.
Yizheng ChenShiqi WangYue QinXiaojing LiaoSuman JanaDavid A. WagnerPublished in: CCS (2021)
Keyphrases
- learning process
- supervised learning
- learning algorithm
- data sets
- knowledge acquisition
- learning systems
- reinforcement learning
- support vector
- unsupervised learning
- learning rules
- learning classifier systems
- inductive inference
- statistical databases
- classification models
- learning problems
- machine learning algorithms
- active learning
- neural network