Author:Elazar Cohen

Publications
Tighter Abstract Queries in Neural Network Verification Elazar Cohen, Yizhak Yisrael Elboher, Clark Barrett and Guy Katz In:Proceedings of 24th International Conference on Logic for Programming, Artificial Intelligence and Reasoning