#feed-forward networks

topicfeed-forward networks

1 paper · 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…