Login / Signup

Towards General Robustness Verification of MaxPool-based Convolutional Neural Networks via Tightening Linear Approximation.

Yuan XiaoShiqing MaJuan ZhaiChunrong FangJinyuan JiaZhenyu Chen
Published in: CoRR (2024)
Keyphrases
  • linear approximation
  • convolutional neural networks
  • image classification
  • model checking
  • machine learning
  • linear programming