Minimizing Worst-Case Violations of Neural Networks

21 December 2022

Papers citing "Minimizing Worst-Case Violations of Neural Networks"

5 / 5 papers shown

Title
Scalable Exact Verification of Optimization Proxies for Large-Scale Optimal Power Flow Rahul Nellikkath Mathieu Tanneau Pascal Van Hentenryck Spyros Chatzivasileiadis 27 0 0 09 May 2024
Correctness Verification of Neural Networks Approximating Differential Equations Petros Ellinas Rahul Nellikkath Ignasi Ventura Jochen Stiasny Spyros Chatzivasileiadis 10 1 0 12 Feb 2024
Enriching Neural Network Training Dataset to Improve Worst-Case Performance Guarantees Rahul Nellikkath Spyros Chatzivasileiadis 11 3 0 23 Mar 2023
Physics-Informed Graphical Neural Network for Parameter & State Estimations in Power Systems Laurent Pagnier Michael Chertkov 29 48 0 12 Feb 2021
Predicting AC Optimal Power Flows: Combining Deep Learning and Lagrangian Dual Methods Ferdinando Fioretto Terrence W.K. Mak Pascal Van Hentenryck AI4CE 76 198 0 19 Sep 2019