Search Results for author:
Found 10 papers, 4 papers with code
IB-GAN: A Unified Approach for Multivariate Time Series Classification under Class Imbalance
Classification of large multivariate time series with strong class imbalance is an important task in real-world applications.
Analysis of E-commerce Ranking Signals via Signal Temporal Logic
The timed position of documents retrieved by learning to rank models can be seen as signals.
Scenic: A Language for Scenario Specification and Data Generation
We design a domain-specific language, Scenic, for describing scenarios that are distributions over scenes and the behaviors of their agents over time.
A Formalization of Robustness for Deep Neural Networks
The process of generating the perturbations that expose the lack of robustness of neural networks is known as adversarial input generation.
VERIFAI: A Toolkit for the Design and Analysis of Artificial Intelligence-Based Systems
We present VERIFAI, a software toolkit for the formal design and analysis of systems that include artificial intelligence (AI) and machine learning (ML) components.
Scenic: A Language for Scenario Specification and Scene Generation
We propose a new probabilistic programming language for the design and analysis of perception systems, especially those based on machine learning.
Counterexample-Guided Data Augmentation
We present a novel framework for augmenting data sets for machine learning based on counterexamples.
Semantic Adversarial Deep Learning
However, existing approaches to generating adversarial examples and devising robust ML algorithms mostly ignore the semantics and context of the overall system containing the ML component.
Systematic Testing of Convolutional Neural Networks for Autonomous Driving
We present a framework to systematically analyze convolutional neural networks (CNNs) used in classification of cars in autonomous vehicles.
Compositional Falsification of Cyber-Physical Systems with Machine Learning Components
This raises the question: can the output from learning components can lead to a failure of the entire CPS?
