James Dorricott

First Question
  • Total activity 5
  • Last activity
  • Member since
  • Following 0 users
  • Followed by 0 users
  • Votes 1
  • Subscriptions 2

Activity overview

Latest activity by James Dorricott
  • James Dorricott created a post,

    Same model, different solve times


    I am working on neural network verification. The "main" of the program will loop through a set of 100 images and attempt to verify them by encoding the problem as a MILP. The result is either optim...

  • James Dorricott created a post,

    Gurobi Distributed Optimisation Product

    I was just wondering if this service is available for use with an academic licence? https://www.gurobi.com/products/distributed-optimization/ Thanks