face lattice 1feed-forward networks 1neural network verification 1polytope methods 1reachability analysis 1relu activation 1
From the 1 of 13 linked papers with an AI index.
70 citations · 98 across the 10 of their papers we have counts for
Showing cs.AIShow all
2 papers · 1 filter
cs.AI2020★ 11 cited
Reachability Analysis for Feed-Forward Neural Networks using Face Lattices
Xiaodong Yang, Hoang-Dung Tran, Weiming Xiang +1
The paper introduces a parallelizable method that uses face lattices to compute exact reachable sets for feed‑forward ReLU neural networks, enabling more efficient safety verificat…
cs.AI2018
Verification for Machine Learning, Autonomy, and Neural Networks Survey
Weiming Xiang, Patrick Musau, Ayana A. Wild +5
This survey presents an overview of verification techniques for autonomous systems, with a focus on safety-critical autonomous cyber-physical systems (CPS) and subcomponents thereo…