SMiLE: Provably Enforcing Global Relational Properties in Neural Networks

Open in new window