activity
20112026
most citedVerifiable Reinforcement Learning via Policy Extraction

159 citations · 798 across the 116 of their papers we have counts for

collaborators
Showing 2020Show all

8 papers · 1 filter

cs.LG2020★ 5 cited

Robust and Stable Black Box Explanations

Himabindu Lakkaraju, Nino Arsov, Osbert Bastani

As machine learning black boxes are increasingly being deployed in real-world applications, there has been a growing interest in developing post hoc explanations that summarize the…

cs.CV2020★ 1 cited

Likelihood-Based Diverse Sampling for Trajectory Forecasting

Yecheng Jason Ma, Jeevana Priya Inala, Dinesh Jayaraman +1

Forecasting complex vehicle and pedestrian multi-modal distributions requires powerful probabilistic approaches. Normalizing flows (NF) have recently emerged as an attractive tool…

cs.LG2020

Learning Models for Actionable Recourse

Alexis Ross, Himabindu Lakkaraju, Osbert Bastani

As machine learning models are increasingly deployed in high-stakes domains such as legal and financial decision-making, there has been growing interest in post-hoc methods for gen…

cs.LG2020★ 6 cited

PAC Confidence Predictions for Deep Neural Network Classifiers

Sangdon Park, Shuo Li, Insup Lee +1

A key challenge for deploying deep neural networks (DNNs) in safety critical settings is the need to provide rigorous ways to quantify their uncertainty. In this paper, we propose…

cs.LG2020★ 2 cited

Abstract Value Iteration for Hierarchical Reinforcement Learning

Kishor Jothimurugan, Osbert Bastani, Rajeev Alur

We propose a novel hierarchical reinforcement learning framework for control with continuous state and action spaces. In our framework, the user specifies subgoal regions which are…

cs.LG2020★ 20 cited

A Composable Specification Language for Reinforcement Learning Tasks

Kishor Jothimurugan, Rajeev Alur, Osbert Bastani

Reinforcement learning is a promising approach for learning control policies for robot tasks. However, specifying complex tasks (e.g., with multiple objectives and safety constrain…