Rethinking Lipschitz Neural Networks and Certified Robustness: A Boolean Function Perspective.
Bohang ZhangDu JiangDi HeLiwei WangPublished in: CoRR (2022)
Keyphrases
- boolean functions
- neural network
- uniform distribution
- relevant variables
- membership queries
- fuzzy logic
- monotone boolean functions
- bi decomposition
- pseudo boolean functions
- disjunctive normal form
- functional properties
- binary decision diagrams
- search space
- pattern recognition
- multi valued
- rough sets
- training set
- database systems
- machine learning