Stephen Mell

Publication Activity (10 Years)

Years Active: 2020-2024
Publications (10 Years): 9

Top Topics

Language Modelling

Natural Language Interfaces

Conversational Agents

Top Venues

Proc. ACM Program. Lang.

Publications

Stephen Mell, Steve Zdancewic, Osbert Bastani
Optimal Program Synthesis via Abstract Interpretation. Proc. ACM Program. Lang. 8 (POPL) (2024)
Stephen Mell, Steve Zdancewic, Osbert Bastani
An Opportunistically Parallel Lambda Calculus for Performant Composition of Large Language Models. CoRR (2024)
Adam Khakhar, Stephen Mell, Osbert Bastani
PAC Prediction Sets for Large Language Models of Code. ICML (2023)
Stephen Mell, Favyen Bastani, Steve Zdancewic, Osbert Bastani
Synthesizing Trajectory Queries from Examples. CAV (1) (2023)
Stephen Mell, Osbert Bastani, Steve Zdancewic
Ideograph: A Language for Expressing and Manipulating Structured Data. CoRR (2023)
Adam Khakhar, Stephen Mell, Osbert Bastani
PAC Prediction Sets for Large Language Models of Code. CoRR (2023)
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
Counterfactual Explanations for Natural Language Interfaces. ACL (2) (2022)
George Tolkachev, Stephen Mell, Steve Zdancewic, Osbert Bastani
Counterfactual Explanations for Natural Language Interfaces. CoRR (2022)
Stephen Mell, Olivia M. Brown, Justin A. Goodwin, Sung-Hyun Son
Safe Predictors for Enforcing Input-Output Specifications. CoRR (2020)