Optimization

How researchers see this paper

The researchers whose trusted networks rank it highest, strongest advocate first. Every researcher gets a different order.

Verifying Neural Networks with Mixed Integer Programming (2017, neutral): “We construct the MIP models corresponding to the optimization problems in Julia [2] using JuMP [6], with the solve carried out by the commercial solver Gurobi 7.0.2 [10] on a desktop with a Intel Core i7-6700 CPU (with 4 cores) clocked at 3.40GHz.”
Large Language Models as Optimizers (2023, unknown): “We use the Gurobi solver (Optimization et al., 2020) to construct oracle solutions and compute the optimality gap for all approaches, where the optimality gap is deﬁned as the difference between the distance in the solution constructed by the evaluated approach and the distance achieved by the…”
A Tutorial On the design, experimentation and application of metaheuristic algorithms to real-World optimization problems (2021, background): “The appropriate solution of extraordinarily complex problems usually entails the use of significant computation resources [13, 14, 15].”