TY  - RPRT
TI  - Compact Optimality Verification for Optimization Proxies
AU  - Wenbo Chen
AU  - Haoruo Zhao
AU  - Mathieu Tanneau
AU  - Pascal Van Hentenryck
PY  - 2024
UR  - https://arxiv.org/abs/2405.21023
ID  - 2405.21023
ER  -