no code implementations • 2 Dec 2023 • Tom McDonald, Calvin Tsay, Artur M. Schweidtmann, Neil Yorke-Smith
ReLU neural networks have been modelled as constraints in mixed integer linear programming (MILP), enabling surrogate-based optimisation in various domains and efficient solution of machine learning certification problems.