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

Rahul Nellikkath, Mathieu Tanneau, Pascal Van Hentenryck +1

Optimal Power Flow (OPF) is a valuable tool for power system operators, but it is a difficult problem to solve for large systems. Machine Learning (ML) algorithms, especially Neura…