Survey maps the challenge of verifying robustness in binary neural networks
A survey in Artificial Intelligence Review systematically reviews formal verification methods for binary neural networks, covering SAT/SMT, optimization, reachability and ...
