Search Results for author: James Weimer

Found 16 papers, 6 papers with code

Memory-Consistent Neural Networks for Imitation Learning

no code implementations9 Oct 2023 Kaustubh Sridhar, Souradeep Dutta, Dinesh Jayaraman, James Weimer, Insup Lee

Imitation learning considerably simplifies policy synthesis compared to alternative approaches by exploiting access to expert demonstrations.

Imitation Learning

Guaranteed Conformance of Neurosymbolic Models to Natural Constraints

1 code implementation2 Dec 2022 Kaustubh Sridhar, Souradeep Dutta, James Weimer, Insup Lee

Next, using these memories we partition the state space into disjoint subsets and compute bounds that should be respected by the neural network in each subset.

Towards Alternative Techniques for Improving Adversarial Robustness: Analysis of Adversarial Training at a Spectrum of Perturbations

1 code implementation13 Jun 2022 Kaustubh Sridhar, Souradeep Dutta, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee

Algorithm design of AT and its variants are focused on training models at a specified perturbation strength $\epsilon$ and only using the feedback from the performance of that $\epsilon$-robust model to improve the algorithm.

Adversarial Robustness Quantization

Mako: Semi-supervised continual learning with minimal labeled data via data programming

no code implementations29 Sep 2021 Pengyuan Lu, Seungwon Lee, Amanda Watson, David Kent, Insup Lee, Eric Eaton, James Weimer

This tool achieves similar performance, in terms of per-task accuracy and resistance to catastrophic forgetting, as compared to fully labeled data.

Continual Learning Image Classification

CHEF: A Cheap and Fast Pipeline for Iteratively Cleaning Label Uncertainties (Technical Report)

1 code implementation19 Jul 2021 Yinjun Wu, James Weimer, Susan B. Davidson

First, to reduce the cost of human annotators, we use Infl, which prioritizes the most influential training samples for cleaning and provides cleaned labels to save the cost of one human annotator.

Image Classification Medical Image Classification

ModelGuard: Runtime Validation of Lipschitz-continuous Models

no code implementations30 Apr 2021 Taylor J. Carpenter, Radoslav Ivanov, Insup Lee, James Weimer

This paper presents ModelGuard, a sampling-based approach to runtime model validation for Lipschitz-continuous models.

Confidence Calibration with Bounded Error Using Transformations

no code implementations25 Feb 2021 Sooyong Jang, Radoslav Ivanov, Insup Lee, James Weimer

As machine learning techniques become widely adopted in new domains, especially in safety-critical systems such as autonomous vehicles, it is crucial to provide accurate output uncertainty estimation.

Autonomous Vehicles

Improving Classifier Confidence using Lossy Label-Invariant Transformations

no code implementations9 Nov 2020 Sooyong Jang, Insup Lee, James Weimer

Providing reliable model uncertainty estimates is imperative to enabling robust decision making by autonomous agents and humans alike.

Decision Making

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation

no code implementations29 Feb 2020 Sangdon Park, Osbert Bastani, James Weimer, Insup Lee

Our algorithm uses importance weighting to correct for the shift from the training to the real-world distribution.

Unsupervised Domain Adaptation

Real-Time Detectors for Digital and Physical Adversarial Inputs to Perception Systems

no code implementations23 Feb 2020 Yiannis Kantaros, Taylor Carpenter, Kaustubh Sridhar, Yahan Yang, Insup Lee, James Weimer

To highlight this, we demonstrate the efficiency of the proposed detector on ImageNet, a task that is computationally challenging for the majority of relevant defenses, and on physically attacked traffic signs that may be encountered in real-time autonomy applications.

Verisig: verifying safety properties of hybrid systems with neural network controllers

1 code implementation5 Nov 2018 Radoslav Ivanov, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee

This paper presents Verisig, a hybrid system approach to verifying safety properties of closed-loop systems using neural networks as controllers.

Systems and Control

Resilient Linear Classification: An Approach to Deal with Attacks on Training Data

no code implementations10 Aug 2017 Sangdon Park, James Weimer, Insup Lee

Specifically, a generic metric is proposed that is tailored to measure resilience of classification algorithms with respect to worst-case tampering of the training data.

Autonomous Vehicles Classification +3

Cannot find the paper you are looking for? You can Submit a new open access paper.