Picture for Matthew Mirman

Matthew Mirman

LLM Guided Inductive Inference for Solving Compositional Problems

Add code
Sep 20, 2023
Viaarxiv icon

The Fundamental Limits of Interval Arithmetic for Neural Networks

Add code
Dec 09, 2021
Figure 1 for The Fundamental Limits of Interval Arithmetic for Neural Networks
Figure 2 for The Fundamental Limits of Interval Arithmetic for Neural Networks
Figure 3 for The Fundamental Limits of Interval Arithmetic for Neural Networks
Viaarxiv icon

Robustness Certification of Generative Models

Add code
Apr 30, 2020
Figure 1 for Robustness Certification of Generative Models
Figure 2 for Robustness Certification of Generative Models
Figure 3 for Robustness Certification of Generative Models
Figure 4 for Robustness Certification of Generative Models
Viaarxiv icon

Online Robustness Training for Deep Reinforcement Learning

Add code
Nov 22, 2019
Figure 1 for Online Robustness Training for Deep Reinforcement Learning
Figure 2 for Online Robustness Training for Deep Reinforcement Learning
Figure 3 for Online Robustness Training for Deep Reinforcement Learning
Figure 4 for Online Robustness Training for Deep Reinforcement Learning
Viaarxiv icon

Universal Approximation with Certified Networks

Add code
Sep 30, 2019
Figure 1 for Universal Approximation with Certified Networks
Figure 2 for Universal Approximation with Certified Networks
Figure 3 for Universal Approximation with Certified Networks
Figure 4 for Universal Approximation with Certified Networks
Viaarxiv icon

A Provable Defense for Deep Residual Networks

Add code
Mar 29, 2019
Figure 1 for A Provable Defense for Deep Residual Networks
Figure 2 for A Provable Defense for Deep Residual Networks
Figure 3 for A Provable Defense for Deep Residual Networks
Figure 4 for A Provable Defense for Deep Residual Networks
Viaarxiv icon