works on
face lattice 1feed-forward networks 1neural network verification 1polytope methods 1reachability analysis 1relu activation 1

From the 1 of 1 linked paper with an AI index.

most citedReachability Analysis for Feed-Forward Neural Networks using Face Lattices

11 citations · 11 across the 1 of their papers we have counts for

collaborators

1 paper

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…