@misc{indiciae3dfa4b3a537b,
  title = {Compact Optimality Verification for Optimization Proxies},
  author = {Wenbo Chen and Haoruo Zhao and Mathieu Tanneau and Pascal Van Hentenryck},
  year = {2024},
  url = {https://arxiv.org/abs/2405.21023},
  note = {Source identifier: 2405.21023}
}