Search Results for author: Matan Ostrovsky

Found 1 papers, 0 papers with code

An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks

no code implementations6 Jan 2022 Matan Ostrovsky, Clark Barrett, Guy Katz

Convolutional neural networks have gained vast popularity due to their excellent performance in the fields of computer vision, image processing, and others.

Cannot find the paper you are looking for? You can Submit a new open access paper.