Hybrid Classification and Reasoning for Image-based Constraint Solving

Hybrid Classification and Reasoning for Image-based Constraint Solving

24 March 2020

Rocsildes Canoy

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

16 / 16 papers shown

Title
Smart Predict-and-Optimize for Hard Combinatorial Optimization Problems Jaynta Mandi Emir Demirović Peter Stuckey Tias Guns 43 143 0 22 Nov 2019
A Logic-Driven Framework for Consistency of Neural Models Tao Li Vivek Gupta Maitrey Mehta Vivek Srikumar AI4CE 58 103 0 31 Aug 2019
Neural Probabilistic Logic Programming in DeepProbLog Robin Manhaeve Sebastijan Dumancic Angelika Kimmig T. Demeester Luc de Raedt NAI 55 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 50 262 0 29 May 2019
Solution Dominance over Constraint Satisfaction Problems Tias Guns Peter Stuckey Guido Tack 29 7 0 21 Dec 2018
Encoding Implicit Relation Requirements for Relation Extraction: A Joint Inference Approach S. Du Yansong Feng Haochuan Li Liwei Wang Xiyu Zhai 11 10 0 09 Nov 2018
Melding the Data-Decisions Pipeline: Decision-Focused Learning for Combinatorial Optimization Bryan Wilder B. Dilkina Milind Tambe OffRL AI4CE 52 294 0 14 Sep 2018
Attention, Learn to Solve Routing Problems! W. Kool H. V. Hoof Max Welling 83 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 159 4,928 0 02 Nov 2017
On Calibration of Modern Neural Networks Chuan Guo Geoff Pleiss Yu Sun Kilian Q. Weinberger UQCV 197 5,774 0 14 Jun 2017
Imposing Hard Constraints on Deep Networks: Promises and Limitations Pablo Márquez-Neila Mathieu Salzmann Pascal Fua PINN UQCV 88 140 0 07 Jun 2017
OptNet: Differentiable Optimization as a Layer in Neural Networks Brandon Amos J. Zico Kolter 134 952 0 01 Mar 2017
Constrained Convolutional Neural Networks for Weakly Supervised Segmentation Deepak Pathak Philipp Krahenbuhl Trevor Darrell SSeg 66 612 0 11 Jun 2015
Improving the Accuracy and Efficiency of MAP Inference for Markov Logic Sebastian Riedel 66 205 0 13 Jun 2012
Machine Learning with Operational Costs Theja Tulabandhula Cynthia Rudin 49 57 0 03 Dec 2011