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

9 May 2024

Pascal Van Hentenryck

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

3 / 3 papers shown

Title
Modeling the AC Power Flow Equations with Optimally Compact Neural Networks: Application to Unit Commitment Alyssa Kody Samuel C. Chevalier Spyros Chatzivasileiadis Daniel Molzahn 84 37 0 21 Oct 2021
PyTorch: An Imperative Style, High-Performance Deep Learning Library Adam Paszke Sam Gross Francisco Massa Adam Lerer James Bradbury ... Sasank Chilamkurthy Benoit Steiner Lu Fang Junjie Bai Soumith Chintala ODL 319 42,038 0 03 Dec 2019
Strong mixed-integer programming formulations for trained neural networks Ross Anderson Joey Huchette Christian Tjandraatmadja J. Vielma 125 254 0 20 Nov 2018