Matthew Fredrikson | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Anupam Datta
19 publications
Jan Hoffmann
18 publications
Piotr Mardziel
10 publications
Shayak Sen
7 publications
Van Chan Ngo
3 publications
Mario Dehesa-Azuara
1 publication

research

∙ 03/28/2018

Supervising Feature Influence

Causal influence measures for machine learnt classifiers shed light on t...

0 Shayak Sen, et al. ∙

research

∙ 01/05/2018

Verifying and Synthesizing Constant-Resource Implementations with Types

We propose a novel type system for verifying that programs correctly imp...

0 Van Chan Ngo, et al. ∙