I agree that this site is using cookies. You can find further informations here.
X
Zelazny, Tom
14  results:
Search for persons X
?
1

Verifying Generalization in Deep Learning:

, In: Computer Aided Verification; Lecture Notes in Computer Science,
Amir, Guy ; Maayan, Osher ; Zelazny, Tom.. - p. 438-455 , 2023
Link: https://doi.org/10.1007/..
 
?
2

Verification-Aided Deep Ensemble Selection:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Amir, Guy ; Zelazny, Tom ; Katz, Guy. - p. 27-37 , 2022
Link: https://doi.org/10.34727..
 
?
3

On Optimizing Back-Substitution Methods for Neural Network ..:

, In: 2022 Formal Methods in Computer-Aided Design (FMCAD),
Zelazny, Tom ; Wu, Haoze ; Barrett, Clark. - p. 17-26 , 2022
Link: https://doi.org/10.34727..
 
?
4

Verifying Generalization in Deep Learning:

Amir, Guy ; Maayan, Osher ; Zelazny, Tom..
http://arxiv.org/abs/2302.05745.  , 2023
Link: http://arxiv.org/abs/230..
 
?
5

On Optimizing Back-Substitution Methods for Neural Network ..:

Zelazny, Tom ; Wu, Haoze ; Barrett, Clark.
http://arxiv.org/abs/2208.07669.  , 2022
Link: http://arxiv.org/abs/220..
 
?
6

Verification-Aided Deep Ensemble Selection:

Amir, Guy ; Zelazny, Tom ; Katz, Guy.
http://arxiv.org/abs/2202.03898.  , 2022
Link: http://arxiv.org/abs/220..
 
?
7

Verification-Aided Deep Ensemble Selection: Artifact:

Amir, Guy ; Zelazny, Tom ; Katz, Guy.
doi:10.5281/zenodo.6557082.  , 2022
Link: https://zenodo.org/recor..
 
?
8

Verifying Generalization in Deep Learning: Artifact:

Guy Amir ; Osher Maayan ; Tom Zelazny..
doi:10.5281/zenodo.7884513.  , 2023
Link: https://zenodo.org/recor..
 
?
9

DeepMIP:

Tom Zelazny ; Haoze Wu ; Clark Barrett.
doi:10.5281/zenodo.6982972.  , 2022
Link: https://zenodo.org/recor..
 
?
10

Human Dectin-1 deficiency impairs macrophage-mediated defen..:

Drummond, Rebecca A. ; Desai, Jigar V. ; Hsu, Amy P....
Journal of Clinical Investigation.  132 (2022)  22 - p. , 2022
Link: https://doi.org/10.1172/..
 
?
11

Adaptability and Persistence of the Emerging Pathogen Borde..:

Zelazny, Adrian M. ; Ding, Li ; Goldberg, Joanna B....
PLoS ONE.  8 (2013)  6 - p. e65102 , 2013
Link: https://doi.org/10.1371/..
 
?
12

Human Dectin-1 deficiency impairs macrophage-mediated defen..:

Drummond, Rebecca A ; Desai, Jigar V ; Hsu, Amy P...
http://www.ncbi.nlm.nih.gov/pmc/articles/PMC9663159/.  , 2022
Link: http://www.ncbi.nlm.nih...
 
?
13

Human Dectin-1 Deficiency Impairs Macrophage-Mediated Defen..:

Drummond, Rebecca A ; Desai, Jigar V ; Hsu, Amy P...
https://jdc.jefferson.edu/pacbfp/372.  , 2022
Link: https://jdc.jefferson.ed..
 
?
14

Human Dectin-1 deficiency impairs macrophage-mediated defen..:

Rebecca A. Drummond ; Jigar V. Desai ; Amy P. Hsu...
https://doi.org/10.1172/JCI159348.  , 2022
Link: https://doaj.org/article..
 
1-14