research
∙
09/05/2023
A Lightweight and Transferable Design for Robust LEGO Manipulation
LEGO is a well-known platform for prototyping pixelized objects. However...
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
∙
08/16/2021
IADA: Iterative Adversarial Data Augmentation Using Formal Verification and Expert Guidance
Neural networks (NNs) are widely used for classification tasks for their...
research
∙
12/04/2019
