Communities
Connect sessions
AI calendar
Organizations
Join Slack
Contact Sales
Search
Open menu
Home
Papers
2211.07125
Cited By
v1
v2
v3 (latest)
Global Performance Guarantees for Neural Network Models of AC Power Flow
14 November 2022
Samuel C. Chevalier
Spyros Chatzivasileiadis
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Global Performance Guarantees for Neural Network Models of AC Power Flow"
4 / 4 papers shown
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 Flow
Electric 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 Systems
Hawaii International Conference on System Sciences (HICSS), 2023
Samuel C. Chevalier
Ilgiz Murzakhanov
Spyros Chatzivasileiadis
161
4
0
18 Jun 2023
1