4 citations · 11 across the 9 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
math.OC2024★ 1 cited
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…
math.OC2024★ 1 cited
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…