research
∙
02/02/2023
Provably Bounding Neural Network Preimages
Most work on the formal verification of neural networks has focused on b...
share
research
∙
01/14/2023
First Three Years of the International Verification of Neural Networks Competition (VNN-COMP)
This paper presents a summary and meta-analysis of the first three itera...
research
∙
12/20/2022
The Third International Verification of Neural Networks Competition (VNN-COMP 2022): Summary and Results
This report summarizes the 3rd International Verification of Neural Netw...
research
∙
11/24/2020
Two-Way Neural Machine Translation: A Proof of Concept for Bidirectional Translation Modeling using a Two-Dimensional Grid
Neural translation models have proven to be effective in capturing suffi...
research
∙
06/16/2020
Debona: Decoupled Boundary Network Analysis for Tighter Bounds and Faster Adversarial Robustness Proofs
Neural networks are commonly used in safety-critical real-world applicat...
research
∙
05/04/2020
Successfully Applying the Stabilized Lottery Ticket Hypothesis to the Transformer Architecture
Sparse models require less memory for storage and enable a faster infere...
research
∙
10/09/2018