36 citations · 143 across the 10 of their papers we have counts for
3 papers · 1 filter
Optimal training of integer-valued neural networks with mixed integer programming
Tómas Thorbjarnarson, Neil Yorke-Smith
Recent work has shown potential in using Mixed Integer Programming (MIP) solvers to optimize certain aspects of neural networks (NNs). However the intriguing approach of training N…
A Study of Learning Search Approximation in Mixed Integer Branch and Bound: Node Selection in SCIP
Kaan Yilmaz, Neil Yorke-Smith
In line with the growing trend of using machine learning to help solve combinatorial optimisation problems, one promising idea is to improve node selection within a mixed integer p…
Towards a Framework for Certification of Reliable Autonomous Systems
Michael Fisher, Viviana Mascardi, Kristin Yvonne Rozier +3
A computational system is called autonomous if it is able to make its own decisions, or take its own actions, without human supervision or control. The capability and spread of suc…