SaDe: Learning Models that Provably Satisfy Domain Constraints

Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel

In many real world applications of machine learning, models have to meet certain domain-based requirements that can be expressed as constraints (e.g., safety-critical constraints i…