#neural network verification

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…