2019 (modified: 11 Nov 2022)ICML 2019Readers: Everyone
Abstract:We present DL2, a system for training and querying neural networks with logical constraints. Using DL2, one can declaratively specify domain knowledge constraints to be enforced during training, as...