164 citations · 213 across the 13 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
cs.AI2024
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…
eess.SY2024
Correctness Verification of Neural Networks Approximating Differential Equations
Petros Ellinas, Rahul Nellikath, Ignasi Ventura +2
Verification of Neural Networks (NNs) that approximate the solution of Partial Differential Equations (PDEs) is a major milestone towards enhancing their trustworthiness and accele…