3 ms·
Looking at the website, it's not clear what mathematical techniques are being used to enforce satisfaction of the constraints. How is this approach different th
by ubj 4y ago
Looking at the website, it's not clear what mathematical techniques are being used to enforce satisfaction of the constraints. How is this approach different than prior approaches, e.g., formal verification methods for deep learning?
- yamrzou 4y agoThere are more details in the accompanying paper: https://ojs.aaai.org/index.php/AAAI/article/view/21711 https://ojs.aaai.org/index.php/AAAI/article/view/21711