Kathrin Stark | DeepAI

Chat Image Generator Video Music Voice Chat Photo Editor

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. ∙

Success!

An error occurred