Elazar Cohen

According to our database¹, Elazar Cohen authored at least 3 papers between 2022 and 2024.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

2024

On applying residual reasoning within neural network verification.

[BibT_eX]

[DOI]

Softw. Syst. Model., June, 2024

2023

Tighter Abstract Queries in Neural Network Verification.

[BibT_eX]

[DOI]

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

2022

Neural Network Verification Using Residual Reasoning.

[BibT_eX]

[DOI]

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