Matthew Mirman | DeepAI

DeepAI AI Chat

Featured Co-authors

Martin Vechev
49 publications
Gagandeep Singh
42 publications
Marc Fischer
22 publications
Maximilian Baader
8 publications
Timon Gehr
2 publications
Abhigya Sodani
2 publications
Lauren Moos
1 publication

∙ 09/20/2023

LLM Guided Inductive Inference for Solving Compositional Problems

While large language models (LLMs) have demonstrated impressive performa...

0 Abhigya Sodani, et al. ∙

∙ 12/09/2021

The Fundamental Limits of Interval Arithmetic for Neural Networks

Interval analysis (or interval bound propagation, IBP) is a popular tech...

0 Matthew Mirman, et al. ∙

∙ 04/30/2020

Robustness Certification of Generative Models

Generative neural networks can be used to specify continuous transformat...

0 Matthew Mirman, et al. ∙

∙ 11/03/2019

Online Robustness Training for Deep Reinforcement Learning

In deep reinforcement learning (RL), adversarial attacks can trick an ag...

0 Marc Fischer, et al. ∙

∙ 09/30/2019

Universal Approximation with Certified Networks

Training neural networks to be certifiably robust is a powerful defense ...

0 Maximilian Baader, et al. ∙

∙ 03/29/2019

A Provable Defense for Deep Residual Networks

We present a training system, which can provably defend significantly la...

0 Matthew Mirman, et al. ∙

Are you a researcher?
Expose your work
to one of the largest
A.I. communities in the world