70 citations · 75 across the 5 of their papers we have counts for
1 paper · 1 filter
Matt Fredrikson, Kaiji Lu, Saranya Vijayakumar +3
Recent techniques that integrate \emph{solver layers} into Deep Neural Networks (DNNs) have shown promise in bridging a long-standing gap between inductive learning and symbolic re…