Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Reachability-Based Formal Verification of Graph Neural Networks with Node and Edge Features
Anne M. Tumlin, Ben Wooding, Zhenxuan Shao +3
Graph neural networks (GNNs) have become a prominent approach for developing fast, topology-aware surrogates in electric power systems, supporting tasks such as power flow (PF) ana…
cs.LG2026
RAD: Rule-Augmented Relational Anomaly Detection
Noah Dahle, Anne Tumlin, Ngoc Tran +2
Anomaly detection is often applied to data stored in relational databases, yet most existing methods require flattening multiple tables into a single feature matrix. This flattenin…