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