research
∙
12/01/2021
Training Experimentally Robust and Interpretable Binarized Regression Models Using Mixed-Integer Programming
In this paper, we explore model-based approach to training robust and in...
share
research
∙
08/02/2021
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
This document provides a brief introduction to learned automated plannin...
research
∙
04/19/2019
Reward Potentials for Planning with Learned Neural Network Transition Models
Optimal planning with respect to learned neural network (NN) models in c...
research
∙
04/05/2019
Scalable Nonlinear Planning with Deep Neural Network Learned Transition Models
In many real-world planning problems with factored, mixed discrete and c...
research
∙
11/26/2018
Compact and Efficient Encodings for Planning in Factored State and Action Spaces with Learned Binarized Neural Network Transition Models
In this paper, we leverage the efficiency of Binarized Neural Networks (...
research
∙
11/26/2018