Get our free extension to see links to code for papers anywhere online!

 Add to Chrome

 Add to Firefox

CatalyzeX Code Finder - Browser extension linking code for ML papers across the web! | Product Hunt Embed
Improving Classifier Confidence using Lossy Label-Invariant Transformations

Nov 09, 2020
Sooyong Jang, Insup Lee, James Weimer


  Access Paper or Ask Questions

PAC Confidence Predictions for Deep Neural Network Classifiers

Nov 09, 2020
Sangdon Park, Shuo Li, Osbert Bastani, Insup Lee


  Access Paper or Ask Questions

Class-Weighted Evaluation Metrics for Imbalanced Data Classification

Oct 12, 2020
Akhilesh Gupta, Nesime Tatbul, Ryan Marcus, Shengtian Zhou, Insup Lee, Justin Gottschlich

* 11 pages 

  Access Paper or Ask Questions

Calibrated Prediction with Covariate Shift via Unsupervised Domain Adaptation

Feb 29, 2020
Sangdon Park, Osbert Bastani, James Weimer, Insup Lee

* Accepted to AISTATS 2020 

  Access Paper or Ask Questions

VisionGuard: Runtime Detection of Adversarial Inputs to Perception Systems

Feb 23, 2020
Yiannis Kantaros, Taylor Carpenter, Sangdon Park, Radoslav Ivanov, Sooyong Jang, Insup Lee, James Weimer


  Access Paper or Ask Questions

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction

Feb 15, 2020
Sangdon Park, Osbert Bastani, Nikolai Matni, Insup Lee

* Accepted to ICLR 2020 

  Access Paper or Ask Questions

Case Study: Verifying the Safety of an Autonomous Racing Car with a Neural Network Controller

Oct 24, 2019
Radoslav Ivanov, Taylor J. Carpenter, James Weimer, Rajeev Alur, George J. Pappas, Insup Lee


  Access Paper or Ask Questions

Reinforcement Learning for Temporal Logic Control Synthesis with Probabilistic Satisfaction Guarantees

Sep 11, 2019
Mohammadhosein Hasanbeig, Yiannis Kantaros, Alessandro Abate, Daniel Kroening, George J. Pappas, Insup Lee


  Access Paper or Ask Questions

Self-Driving Vehicle Verification Towards a Benchmark

Jun 20, 2018
Nima Roohi, Ramneet Kaur, James Weimer, Oleg Sokolsky, Insup Lee

* 7 pages 

  Access Paper or Ask Questions

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

Aug 15, 2017
Sangdon Park, James Weimer, Insup Lee

* Accepted as a conference paper at ICCPS17 

  Access Paper or Ask Questions