Tom Zelazny

According to our database¹, Tom Zelazny authored at least 4 papers between 2022 and 2024.

Collaborative distances:

Dijkstra number² of four.
Erdős number³ of four.

Timeline

Legend:

Book

In proceedings

Article

PhD thesis

Dataset

Other

Links

On csauthors.net:

Bibliography

2024

Verifying the Generalization of Deep Learning to Out-of-Distribution Domains.

[BibT_eX]

[DOI]

J. Autom. Reason., September, 2024

2023

Verifying Generalization in Deep Learning.

[BibT_eX]

[DOI]

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

2022

On Optimizing Back-Substitution Methods for Neural Network Verification.

[BibT_eX]

[DOI]

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

Verification-Aided Deep Ensemble Selection.

[BibT_eX]

[DOI]

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

Tom Zelazny

Timeline

Legend:

Links

On csauthors.net:

Bibliography

Loading...