research
∙
12/15/2022
Optimized Symbolic Interval Propagation for Neural Network Verification
Neural networks are increasingly applied in safety critical domains, the...
share
research
∙
12/13/2021
Geometric Path Enumeration for Equivalence Verification of Neural Networks
As neural networks (NNs) are increasingly introduced into safety-critica...
research
∙
08/23/2020
An Incremental Abstraction Scheme for Solving Hard SMT-Instances over Bit-Vectors
Decision procedures for SMT problems based on the theory of bit-vectors ...
research
∙
02/12/2018