67 citations · 67 across the 3 of their papers we have counts for
3 papers
Exploring Solver-Level Warmstarting for Neural Network Verification
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…
Automated Design of Linear Bounding Functions for Sigmoidal Nonlinearities in Neural Networks
Matthias König, Xiyue Zhang, Holger H. Hoos +2
The ubiquity of deep learning algorithms in various applications has amplified the need for assuring their robustness against small input perturbations such as those occurring in a…
Artificial intelligence to advance Earth observation: : A review of models, recent trends, and pathways forward
Devis Tuia, Konrad Schindler, Begüm Demir +11
Earth observation (EO) is a prime instrument for monitoring land and ocean processes, studying the dynamics at work, and taking the pulse of our planet. This article gives a bird's…