Compact Optimality Verification for Optimization Proxies.

Wenbo Chen, Haoruo Zhao, Mathieu Tanneau, Pascal Van Hentenryck

Browse the full ICML paper archive.