Natalia Slusarz | DeepAI

DeepAI

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

Featured Co-authors

Ekaterina Komendantskaya
19 publications
Robert Stewart
13 publications
Matthew L. Daggitt
8 publications
Kathrin Stark
2 publications

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

research

∙ 07/14/2022

Differentiable Logics for Neural Network Training and Verification

The rising popularity of neural networks (NNs) in recent years and their...

0 Natalia Slusarz, et al. ∙