Stefanie Mohr | DeepAI

DeepAI

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

Featured Co-authors

Jan Křetínský
36 publications
Pranav Ashok
9 publications
Vahid Hashemi
8 publications
Calvin Chau
1 publication
Konstantina Drainas
1 publication
Juergen Geist
1 publication

research

∙ 07/20/2023

Syntactic vs Semantic Linear Abstraction and Refinement of Neural Networks

Abstraction is a key verification technique to improve scalability. Howe...

0 Calvin Chau, et al. ∙

research

∙ 10/08/2021

Assessment of Neural Networks for Stream-Water-Temperature Prediction

Climate change results in altered air and water temperatures. Increases ...

0 Stefanie Mohr, et al. ∙

research

∙ 06/24/2020

DeepAbstract: Neural Network Abstraction for Accelerating Verification

While abstraction is a classic tool of verification to scale it up, it i...

0 Pranav Ashok, et al. ∙