Hybrid Classification and Reasoning for Image-based Constraint Solving

24 March 2020

Papers citing "Hybrid Classification and Reasoning for Image-based Constraint Solving"

8 / 8 papers shown

Title
A Logic-Driven Framework for Consistency of Neural Models Tao Li Vivek Gupta Maitrey Mehta Vivek Srikumar AI4CE 53 102 0 31 Aug 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 50 550 0 18 Jul 2019
SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solver Po-Wei Wang P. Donti Bryan Wilder Zico Kolter LRM NAI 41 262 0 29 May 2019
Attention, Learn to Solve Routing Problems! W. Kool H. V. Hoof Max Welling 70 1,193 0 22 Mar 2018
Building machines that adapt and compute like brains Brenden M. Lake J. Tenenbaum AI4CE FedML NAI AILaw 315 887 0 11 Nov 2017
Neural Discrete Representation Learning Aaron van den Oord Oriol Vinyals Koray Kavukcuoglu BDL SSL OCL 139 4,928 0 02 Nov 2017
Imposing Hard Constraints on Deep Networks: Promises and Limitations Pablo Márquez-Neila Mathieu Salzmann Pascal Fua PINN UQCV 64 139 0 07 Jun 2017
OptNet: Differentiable Optimization as a Layer in Neural Networks Brandon Amos J. Zico Kolter 120 952 0 01 Mar 2017