111 citations · 169 across the 15 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.LG2023
Learning logic programs by discovering higher-order abstractions
Céline Hocquette, Sebastijan Dumančić, Andrew Cropper
We introduce the higher-order refactoring problem, where the goal is to compress a logic program by discovering higher-order abstractions, such as map, filter, and fold. We impleme…
cs.LG2023
DeepSaDe: Learning Neural Networks that Guarantee Domain Constraint Satisfaction
Kshitij Goyal, Sebastijan Dumancic, Hendrik Blockeel
As machine learning models, specifically neural networks, are becoming increasingly popular, there are concerns regarding their trustworthiness, specially in safety-critical applic…