Search Results for author:
Found 4 papers, 2 papers with code
PAC Prediction Sets for Large Language Models of Code
Given a trained code generation model, our algorithm leverages a programming language's abstract syntax tree to generate a set of programs such that the correct program is in the set with high-confidence.
Counterfactual Explanations for Natural Language Interfaces
A key challenge facing natural language interfaces is enabling users to understand the capabilities of the underlying system.
Synthesizing Video Trajectory Queries
A key challenge is that queries are difficult for end users to develop: queries must reason about complex spatial and temporal patterns in object trajectories in order to select trajectories of interest, and predicates often include real-valued parameters (e. g., whether two cars are within a certain distance) that can be tedious to manually tune.
Safe Predictors for Enforcing Input-Output Specifications
We present an approach for designing correct-by-construction neural networks (and other machine learning models) that are guaranteed to be consistent with a collection of input-output specifications before, during, and after algorithm training.
