Taylor Carpenter | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Generator

Featured Co-authors

Insup Lee
46 publications
Yiannis Kantaros
26 publications
Oleg Sokolsky
20 publications
James Weimer
18 publications
Sangdon Park
16 publications
Matthew Cleaveland
10 publications
Radoslav Ivanov
7 publications
Ivan Ruchkin
7 publications
Pengyuan Lu
4 publications
Sooyong Jang
3 publications

research

∙ 11/03/2021

Confidence Composition for Monitors of Verification Assumptions

Closed-loop verification of cyber-physical systems with neural network c...

0 Ivan Ruchkin, et al. ∙

research

∙ 02/23/2020

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems

Deep neural network (DNN) models have proven to be vulnerable to adversa...

6 Yiannis Kantaros, et al. ∙