research
∙
09/20/2023
LLM Guided Inductive Inference for Solving Compositional Problems
While large language models (LLMs) have demonstrated impressive performa...
share
research
∙
12/09/2021
The Fundamental Limits of Interval Arithmetic for Neural Networks
Interval analysis (or interval bound propagation, IBP) is a popular tech...
research
∙
04/30/2020
Robustness Certification of Generative Models
Generative neural networks can be used to specify continuous transformat...
research
∙
11/03/2019
Online Robustness Training for Deep Reinforcement Learning
In deep reinforcement learning (RL), adversarial attacks can trick an ag...
research
∙
09/30/2019
Universal Approximation with Certified Networks
Training neural networks to be certifiably robust is a powerful defense ...
research
∙
03/29/2019