Elazar Cohen

According to our database, Elazar Cohen authored at least 2 papers between 2022 and 2023.

Collaborative distances:

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

2023

Tighter Abstract Queries in Neural Network Verification.

Elazar Cohen, Yizhak Yisrael Elboher, Clark W. Barrett, Guy Katz

Proceedings of the LPAR 2023: Proceedings of 24th International Conference on Logic for Programming, 2023

2022

Neural Network Verification Using Residual Reasoning.

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022