DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction

Goyal et al. "DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction." AAAI Conference on Artificial Intelligence, 2024. doi:10.1609/AAAI.V38I11.29109

[Goyal et al. "DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction." AAAI Conference on Artificial Intelligence, 2024.](https://mlanthology.org/aaai/2024/goyal2024aaai-deepsade/) doi:10.1609/AAAI.V38I11.29109

@inproceedings{goyal2024aaai-deepsade,
  title     = {{DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction}},
  author    = {Goyal, Kshitij and Dumancic, Sebastijan and Blockeel, Hendrik},
  booktitle = {AAAI Conference on Artificial Intelligence},
  year      = {2024},
  pages     = {12199-12207},
  doi       = {10.1609/AAAI.V38I11.29109},
  url       = {https://mlanthology.org/aaai/2024/goyal2024aaai-deepsade/}
}