2026
SMiLE: Provably Enforcing Global Relational Properties in Neural Networks
AAAI 2026technical
Artificial Intelligence systems are increasingly deployed in settings where ensuring robustness, fairness, or domain-specific properties is essential for regulation compliance and alignment with human values. However, especially on Neural Networks, property enforcement is very challenging, and exist