Kathrin Stark | DeepAI

DeepAI

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

Featured Co-authors

Guy Katz
41 publications
Ekaterina Komendantskaya
19 publications
Robert Stewart
13 publications
Matthew L. Daggitt
8 publications
Grant Passmore
5 publications
Omri Isac
4 publications
Remi Desmartin
3 publications
Natalia Slusarz
2 publications

research

∙ 07/12/2023

Towards a Certified Proof Checker for Deep Neural Network Verification

Recent developments in deep neural networks (DNNs) have led to their ado...

0 Remi Desmartin, et al. ∙

research

∙ 03/19/2023

Logic of Differentiable Logics: Towards a Uniform Semantics of DL

Differentiable logics (DL) have recently been proposed as a method of tr...

0 Natalia Slusarz, et al. ∙