TY  - RPRT
TI  - Differentiable Logics for Neural Network Training and Verification
AU  - Natalia Slusarz
AU  - Ekaterina Komendantskaya
AU  - Matthew L. Daggitt
AU  - Robert Stewart
PY  - 2022
UR  - https://arxiv.org/abs/2207.06741
ID  - 2207.06741
ER  -