Papers citing 'Global Performance Guarantees for Neural Network Models of AC Power Flow'

Title
Achieving the Tightest Relaxation of Sigmoids for Formal Verification Samuel Chevalier Duncan Starkenburg Krishnamurthy Dvijotham 165 2 0 20 Aug 2024
Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow Rahul Nellikkath Mathieu Tanneau Pascal Van Hentenryck Spyros Chatzivasileiadis 205 1 0 09 May 2024
Dual Conic Proxies for AC Optimal Power FlowElectric power systems research (EPSR), 2023 Guancheng Qiu Mathieu Tanneau Pascal Van Hentenryck 268 12 0 04 Oct 2023
GPU-Accelerated Verification of Machine Learning Models for Power SystemsHawaii International Conference on System Sciences (HICSS), 2023 Samuel C. Chevalier Ilgiz Murzakhanov Spyros Chatzivasileiadis 161 4 0 18 Jun 2023