activity
20202025
most citedThe Convex Relaxation Barrier, Revisited: Tightened Single-Neuron Relaxations for Neural Network Verification

44 citations · 45 across the 6 of their papers we have counts for

collaborators
Showing 2023 · math.OCShow all

1 paper · 2 filters

math.OC2023

Progressively Strengthening and Tuning MIP Solvers for Reoptimization

Krunal Kishor Patel

This paper explores reoptimization techniques for solving sequences of similar mixed integer programs (MIPs) more effectively. Traditionally, these MIPs are solved independently, w…