Differentiable Logics for Neural Network Training and Verification.

Natalia Slusarz, Ekaterina Komendantskaya, Matthew L. Daggitt, Robert J. Stewart

Browse the full CAV paper archive.