Ross Anderson

Convex duality contracts for production-grade mathematical optimization

  • Juan Pablo Vielma
  • Ross Anderson
  • Joey Huchette
    • Categories Convex Optimization, Linear, Cone and Semidefinite Programming, Modeling Languages and Systems

    Deploying mathematical optimization in autonomous production systems requires precise contracts for objects returned by an optimization solver. Unfortunately, conventions on dual solution and infeasibility certificates (rays) vary widely across solvers and classes of problems. This paper presents the theoretical framework used by MathOpt (a domain-specific language developed and used at Google) to unify these notions. … Read more

    Strong mixed-integer programming formulations for trained neural networks

  • Ross Anderson
  • Joey Huchette
  • Juan Pablo Vielma
  • Will Ma
  • Christian Tjandraatmadja
    • Categories (Mixed) Integer Linear Programming, Statistics Tags , ,

    We present strong mixed-integer programming (MIP) formulations for high-dimensional piecewise linear functions that correspond to trained neural networks. These formulations can be used for a number of important tasks, such as verifying that an image classification network is robust to adversarial inputs, or solving decision problems where the objective function is a machine learning model. … Read more