Adi Malca

Publication Activity (10 Years)

Years Active: 2019-2020
Publications (10 Years): 2

Top Topics

Formal Verification

Back Propagation

Neural Network Model

Top Venues

Publications

Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
Simplifying Neural Networks Using Formal Verification. NFM (2020)
Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz
Simplifying Neural Networks with the Marabou Verification Engine. CoRR (2019)