Differentiable Logics for Neural Network Training and Verification

Re-assign community