Goyal, Kshitij

2 publications

AAAI 2024 DeepSaDe: Learning Neural Networks That Guarantee Domain Constraint Satisfaction Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel
ECML-PKDD 2022 SaDe: Learning Models That Provably Satisfy Domain Constraints Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel