Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow

Open in new window