Showing 2026Show all
2 papers · 1 filter
eess.SY2026
PACR: Parameter-Optimized AC Power Flow Restoration for AC Feasible DCOPF Dispatch
Michael A. Boateng, Russell Bent, Sidhant Misra +3
The DC optimal power flow is widely used in power system operations because of its computational efficiency and scalability. However, DC dispatches are not guaranteed to satisfy th…
cs.LG2026
E-Globe: Scalable -Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching
Wenting Li, Saif R. Kazi, Russell Bent +2
Neural networks achieve strong empirical performance, but robustness concerns still hinder deployment in safety-critical applications. Formal verification provides robustness guara…