2 papers
eess.SY2025
Maximal Load Shedding Verification for Neural Network Models of AC Line Switching
Samuel Chevalier, Duncan Starkenburg, Robert Parker +1
Solving for globally optimal line switching decisions in AC transmission grids can be intractability slow. Machine learning (ML) models, meanwhile, can be trained to predict near-o…
cs.LG2024
Achieving the Tightest Relaxation of Sigmoids for Formal Verification
Samuel Chevalier, Duncan Starkenburg, Krishnamurthy Dvijotham
In the field of formal verification, Neural Networks (NNs) are typically reformulated into equivalent mathematical programs which are optimized over. To overcome the inherent non-c…