Insup Lee

RT-Open Stack: CPU Resource Management for Real-Time Cloud Computing

2015

Clouds have become appealing platforms for not only general-purpose applications, but also real-time ones. However, current clouds cannot provide real-time performance to virtual machines (VMs). We observe the demand and the advantage of co-hosting real-time …

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

2018 · arXiv (Cornell University)

This paper presents Verisig, a hybrid system approach to verifying safety properties of closed-loop systems using neural networks as controllers. Although techniques exist for verifying input/output properties of the neural network itself, these methods cannot …

PAC Confidence Sets for Deep Neural Networks via Calibrated Prediction

2019 · arXiv (Cornell University)

We propose an algorithm combining calibrated prediction and generalization bounds from learning theory to construct confidence sets for deep neural networks with PAC guarantees---i.e., the confidence set for a given input contains the true label …

DC4L: Distribution Shift Recovery via Data-Driven Control for Deep Learning Models

2023 · arXiv (Cornell University)

Deep neural networks have repeatedly been shown to be non-robust to the uncertainties of the real world, even to naturally occurring ones. A vast majority of current approaches have focused on data-augmentation methods to expand …

Conformal Prediction Regions for Time Series using Linear Complementarity Programming

2023 · arXiv (Cornell University)

Conformal prediction is a statistical tool for producing prediction regions of machine learning models that are valid with high probability. However, applying conformal prediction to time series data leads to conservative prediction regions. In fact, …