activity
20162025
most citedReachable Set Computation and Safety Verification for Neural Networks with ReLU Activations

70 citations · 193 across the 16 of their papers we have counts for

collaborators
Showing cs.AIShow all

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…