45 citations · 67 across the 29 of their papers we have counts for
3 papers · 2 filters
Compact Optimality Verification for Optimization Proxies
Wenbo Chen, Haoruo Zhao, Mathieu Tanneau +1
Recent years have witnessed increasing interest in optimization proxies, i.e., machine learning models that approximate the input-output mapping of parametric optimization problems…
Dual Lagrangian Learning for Conic Optimization
Mathieu Tanneau, Pascal Van Hentenryck
This paper presents Dual Lagrangian Learning (DLL), a principled learning methodology for dual conic optimization proxies. DLL leverages conic duality and the representation power…
Bound Tightening using Rolling-Horizon Decomposition for Neural Network Verification
Haoruo Zhao, Hassan Hijazi, Haydn Jones +3
Neural network verification aims at providing formal guarantees on the output of trained neural networks, to ensure their robustness against adversarial examples and enable their d…