12 citations · 12 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.LG2021
Training Experimentally Robust and Interpretable Binarized Regression Models Using Mixed-Integer Programming
Sanjana Tule, Nhi Ha Lan Le, Buser Say
In this paper, we explore model-based approach to training robust and interpretable binarized regression models for multiclass classification tasks using Mixed-Integer Programming…
cs.AI2021
Planning with Learned Binarized Neural Networks Benchmarks for MaxSAT Evaluation 2021
Buser Say, Scott Sanner, Jo Devriendt +2
This document provides a brief introduction to learned automated planning problem where the state transition function is in the form of a binarized neural network (BNN), presents a…