Picture for Maria Christakis

Maria Christakis

Automatically Testing Functional Properties of Code Translation Models

Add code
Sep 07, 2023
Viaarxiv icon

Synthesizing a Progression of Subtasks for Block-Based Visual Programming Tasks

Add code
May 27, 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

Synthesizing Tasks for Block-based Programming

Add code
Jul 01, 2020
Figure 1 for Synthesizing Tasks for Block-based Programming
Figure 2 for Synthesizing Tasks for Block-based Programming
Figure 3 for Synthesizing Tasks for Block-based Programming
Figure 4 for Synthesizing Tasks for Block-based Programming
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

DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks

Add code
Oct 14, 2019
Figure 1 for DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
Figure 2 for DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
Figure 3 for DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
Figure 4 for DeepSearch: Simple and Effective Blackbox Fuzzing of Deep Neural Networks
Viaarxiv icon