Improving Certified Robustness via Statistical Learning with Logical Reasoning.
Zhuolin YangZhikuan ZhaoBoxin WangJiawei ZhangLinyi LiHengzhi PeiBojan KarlasJi LiuHeng GuoCe ZhangBo LiPublished in: NeurIPS (2022)
Keyphrases
- statistical learning
- logical reasoning
- formal semantics
- statistical learning theory
- model selection
- supervised learning
- multi view face detection
- information theory
- statistical inference
- text mining
- semi supervised learning
- artificial intelligence
- manifold learning
- structured sparsity
- probabilistic model
- information theoretic