Stephen Mell

According to our database, Stephen Mell authored at least 7 papers between 2020 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

Optimal Program Synthesis via Abstract Interpretation.

Stephen Mell, Steve Zdancewic, Osbert Bastani

Proc. ACM Program. Lang., January, 2024

An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models.

Stephen Mell, Steve Zdancewic, Osbert Bastani

CoRR, 2024

2023

PAC Prediction Sets for Large Language Models of Code.

Adam Khakhar, Stephen Mell, Osbert Bastani

Proceedings of the International Conference on Machine Learning, 2023

Synthesizing Trajectory Queries from Examples.

Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

2022

Ideograph: A Language for Expressing and Manipulating Structured Data.

Stephen Mell, Osbert Bastani, Steve Zdancewic

Proceedings of the Proceedings Twelfth International Workshop on Computing with Terms and Graphs, 2022

Counterfactual Explanations for Natural Language Interfaces.

George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani

Proceedings of the 60th Annual Meeting of the Association for Computational Linguistics (Volume 2: Short Papers), 2022

2020

Safe Predictors for Enforcing Input-Output Specifications.

Stephen Mell, Olivia M. Brown, Justin A. Goodwin, Sung-Hyun Son

CoRR, 2020