SMiLE: Provably Enforcing Global Relational Properties in Neural Networks.

Matteo Francobaldi, Michele Lombardi, Andrea Lodi

Browse the full AAAI paper archive.