Picture for Stephen Mell

Stephen Mell

PAC Prediction Sets for Large Language Models of Code

Add code
Feb 17, 2023
Viaarxiv icon

Counterfactual Explanations for Natural Language Interfaces

Add code
Apr 27, 2022
Figure 1 for Counterfactual Explanations for Natural Language Interfaces
Figure 2 for Counterfactual Explanations for Natural Language Interfaces
Viaarxiv icon

Safe Predictors for Enforcing Input-Output Specifications

Add code
Jan 29, 2020
Figure 1 for Safe Predictors for Enforcing Input-Output Specifications
Figure 2 for Safe Predictors for Enforcing Input-Output Specifications
Figure 3 for Safe Predictors for Enforcing Input-Output Specifications
Figure 4 for Safe Predictors for Enforcing Input-Output Specifications
Viaarxiv icon