Picture for Valentin Wüstholz

Valentin Wüstholz

Automatically Testing Functional Properties of Code Translation Models

Add code
Sep 07, 2023
Viaarxiv icon

Specifying and Testing $k$-Safety Properties for Machine-Learning Models

Add code
Jun 13, 2022
Figure 1 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Figure 2 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Figure 3 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Figure 4 for Specifying and Testing $k$-Safety Properties for Machine-Learning Models
Viaarxiv icon

RAID: Randomized Adversarial-Input Detection for Neural Networks

Add code
Feb 07, 2020
Figure 1 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Figure 2 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Figure 3 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Figure 4 for RAID: Randomized Adversarial-Input Detection for Neural Networks
Viaarxiv icon