An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Authors: Matan Ostrovsky, Clark Barrett and Guy Katz
Paper Information
| Title: | An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks |
| Authors: | Matan Ostrovsky, Clark Barrett and Guy Katz |
| Proceedings: | FoMLAS2022 CameraReady |
| Editors: | Nina Narodytska, Omri Isac and Guy Katz |
| Keywords: | Convolutional Neural Networks, Convolutional Neural Networks Verification, Formal Verification, Neural Network Verification, Neural Networks, Deep Neural Networks, Deep Neural Network Verification, Abstraction, Abstraction-Refinement |
| Pages: | 33 |
| Talk: | Jul 31 09:30 (Session 1D) |
| Paper: |  |