no code implementations • NeurIPS 2019 • Pavithra Prabhakar, Zahra Rahimi Afzal
The existing approaches reduce the output range analysis problem to satisfiability and optimization solving, which are NP-hard problems, and whose computational complexity increases with the number of neurons in the network.