TY  - RPRT
TI  - Strong mixed-integer programming formulations for trained neural networks
AU  - Ross Anderson
AU  - Joey Huchette
AU  - Will Ma
AU  - Christian Tjandraatmadja
AU  - Juan Pablo Vielma
PY  - 2020
UR  - https://arxiv.org/abs/1811.01988
ID  - 1811.01988
ER  -