Tom Zelazny

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 7

Top Topics

Unsupervised Learning

Weakly Supervised

Restricted Boltzmann Machine

Empirical Studies

Top Venues

J. Autom. Reason.

Publications

Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains. J. Autom. Reason. 68 (3) (2024)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying the Generalization of Deep Learning to Out-of-Distribution Domains. CoRR (2024)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CoRR (2023)
Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira
Verifying Generalization in Deep Learning. CAV (2) (2023)
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
On Optimizing Back-Substitution Methods for Neural Network Verification. FMCAD (2022)
Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz
On Optimizing Back-Substitution Methods for Neural Network Verification. CoRR (2022)
Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira
Verification-Aided Deep Ensemble Selection. FMCAD (2022)