Differentiable Logics for Neural Network Training and Verification

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt +1

The rising popularity of neural networks (NNs) in recent years and their increasing prevalence in real-world applications have drawn attention to the importance of their verificati…