Russell Bent

collaborators

2 papers

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…

cs.LG2025

Constraint-Informed Active Learning for End-to-End ACOPF Optimization Proxies

Miao Li, Michael Klamkin, Pascal Van Hentenryck +2

This paper studies optimization proxies, machine learning (ML) models trained to efficiently predict optimal solutions for AC Optimal Power Flow (ACOPF) problems. While promising,…

E-Globe: Scalable ε-Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching

Constraint-Informed Active Learning for End-to-End ACOPF Optimization Proxies

E-Globe: Scalable $ε$ -Global Verification of Neural Networks via Tight Upper Bounds and Pattern-Aware Branching