Tom Zelazny | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Clark Barrett
54 publications
Guy Katz
41 publications
Haoze Wu
16 publications
Guy Amir
10 publications
Michael Schapira
8 publications
Osher Maayan
1 publication

research

∙ 02/11/2023

Verifying Generalization in Deep Learning

Deep neural networks (DNNs) are the workhorses of deep learning, which c...

0 Guy Amir, et al. ∙

research

∙ 08/16/2022

On Optimizing Back-Substitution Methods for Neural Network Verification

With the increasing application of deep learning in mission-critical sys...

0 Tom Zelazny, et al. ∙