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

From the 1 of 8 linked papers with an AI index.

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

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

collaborators
Showing cs.LGShow all

1 paper · 1 filter

cs.LG2021

Neural Network Repair with Reachability Analysis

Xiaodong Yang, Tom Yamaguchi, Hoang-Dung Tran +3

Safety is a critical concern for the next generation of autonomy that is likely to rely heavily on deep neural networks for perception and control. Formally verifying the safety an…