Tom Zelazny

According to our database, Tom Zelazny authored at least 3 papers between 2022 and 2023.

Collaborative distances:

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

2023

Verifying Generalization in Deep Learning.

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

On Optimizing Back-Substitution Methods for Neural Network Verification.

Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022

Verification-Aided Deep Ensemble Selection.

Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira

Proceedings of the 22nd Formal Methods in Computer-Aided Design, 2022