Tom Zelazny
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
3
Venues
2
Active years
2022–2023
Best venue rank
A*
Where they publish
Papers
3 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2023 | CAV | Verifying Generalization in Deep Learning. | Guy Amir, Osher Maayan, Tom Zelazny, Guy Katz, Michael Schapira |
| 2022 | FMCAD | Verification-Aided Deep Ensemble Selection. | Guy Amir, Tom Zelazny, Guy Katz, Michael Schapira |
| 2022 | FMCAD | On Optimizing Back-Substitution Methods for Neural Network Verification. | Tom Zelazny, Haoze Wu, Clark W. Barrett, Guy Katz |