1 paper
Annelot Bosman, Minghao Liu, Marta Kwiatkowska +2
Neural network verification has become a key tool for providing formal guarantees on the behaviour of neural networks. However, many verification problems remain computationally in…