3 ms·
Pylon: A PyTorch Framework for Learning with Constraints
- ubj 4y agoLooking 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