SaDe: Learning Models that Provably Satisfy Domain Constraints

1 December 2021

Papers citing "SaDe: Learning Models that Provably Satisfy Domain Constraints"

5 / 5 papers shown

Title
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction Kshitij Goyal Sebastijan Dumancic Hendrik Blockeel 19 2 0 02 Mar 2023
Automatic Generation of Product Concepts from Positive Examples, with an Application to Music Streaming Kshitij Goyal Wannes Meert Hendrik Blockeel E. V. Wolputte Koen Vanderstraeten Wouter Pijpops Kurt Jaspers 16 1 0 04 Oct 2022
Fairness in Machine Learning L. Oneto Silvia Chiappa FaML 233 488 0 31 Dec 2020
Reluplex: An Efficient SMT Solver for Verifying Deep Neural Networks Guy Katz Clark W. Barrett D. Dill Kyle D. Julian Mykel Kochenderfer AAML 222 1,835 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang M. Kwiatkowska Sen Wang Min Wu AAML 178 931 0 21 Oct 2016