Elazar Cohen

According to our database, Elazar Cohen authored at least 4 papers between 2022 and 2026.

Collaborative distances:

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

2026

Resilient AI Supercomputer Networking using MRC and SRv6.

Joao Araujo, Alex Chow, Mark Handley, Ryder Lewis, Christoph Paasch, Jitendra Padhye, Michael Papamichael, Greg Steinbrecher, Amin Tootoonchian, Lihua Yuan, Sreevatsa Anantharamu, Abhishek Dosi, Mohit Garg, Mahdieh Ghazimirsaeed, Torsten Hoefler, Deepal Jayasinghe, Jithin Jose, Abdul Kabbani, Guohan Lu, Yang Wang, K. Doddapaneni, Murali Garimella, Vipin Jain, Yanfang Le, H. Nagulapalli, S. Narayanan, Rong Pan, Rathina Sabesan, Raghava Sivaramu, Rip Sohan, Eric Davis, Dragos Dumitrescu, Mohan Kalkunte, Bhaswar Mitra, Guglielmo Morandin, Adrian Popa, Costin Raiciu, Eric Spada, John Spillane, Niranjan Vaidya, Aviv Barnea, Idan Burstein, Elazar Cohen, Yamin Friedman, Noam Katz, Masoud Moshref, Yuval Shpigelman, Shahaf Shuler, Shy Shyman, Sayantan Sur

CoRR, May, 2026

2024

On applying residual reasoning within neural network verification.

Yizhak Yisrael Elboher, Elazar Cohen, Guy Katz

Softw. Syst. Model., June, 2024

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