research
∙
07/06/2023
3D Environment Modeling for Falsification and Beyond with Scenic 3.0
We present a major new version of Scenic, a probabilistic programming la...
share
research
∙
10/14/2021
IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
Classification of large multivariate time series with strong class imbal...
research
∙
01/14/2021
Analysis of E-commerce Ranking Signals via Signal Temporal Logic
The timed position of documents retrieved by learning to rank models can...
research
∙
10/13/2020
Scenic: A Language for Scenario Specification and Data Generation
We propose a new probabilistic programming language for the design and a...
research
∙
03/24/2019
A Formalization of Robustness for Deep Neural Networks
Deep neural networks have been shown to lack robustness to small input p...
research
∙
02/12/2019
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
We present VERIFAI, a software toolkit for the formal design and analysi...
research
∙
09/25/2018
Scenic: Language-Based Scene Generation
Synthetic data has proved increasingly useful in both training and testi...
research
∙
05/17/2018
Counterexample-Guided Data Augmentation
We present a novel framework for augmenting data sets for machine learni...
research
∙
04/19/2018
Semantic Adversarial Deep Learning
Fueled by massive amounts of data, models produced by machine-learning (...
research
∙
08/10/2017
