Search Results for author: Adi Malca

Found 1 papers, 0 papers with code

Simplifying Neural Networks using Formal Verification

no code implementations25 Oct 2019 Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark Barrett, Guy Katz

Deep neural network (DNN) verification is an emerging field, with diverse verification engines quickly becoming available.

Collision Avoidance

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