research
∙
04/12/2023
SmartChoices: Augmenting Software with Learned Implementations
We are living in a golden age of machine learning. Powerful models are b...
share
research
∙
09/09/2018
Training for Faster Adversarial Robustness Verification via Inducing ReLU Stability
We explore the concept of co-design in the context of neural network ver...
research
∙
11/20/2017
