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 32 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 30 1 0 04 Oct 2022
Fairness in Machine Learning L. Oneto Silvia Chiappa FaML 256 491 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 249 1,842 0 03 Feb 2017
Safety Verification of Deep Neural Networks Xiaowei Huang Marta Kwiatkowska Sen Wang Min Wu AAML 180 932 0 21 Oct 2016