Adi Malca

According to our database, Adi Malca authored at least 2 papers between 2019 and 2020.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2020

Simplifying Neural Networks Using Formal Verification.

Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz

Proceedings of the NASA Formal Methods - 12th International Symposium, 2020

2019

Simplifying Neural Networks with the Marabou Verification Engine.

Sumathi Gokulanathan, Alexander Feldsher, Adi Malca, Clark W. Barrett, Guy Katz

CoRR, 2019