6 citations · 19 across the 9 of their papers we have counts for
Showing 2023Show all
2 papers · 1 filter
cs.PL2023★ 2 cited
Ideograph: A Language for Expressing and Manipulating Structured Data
Stephen Mell, Osbert Bastani, Steve Zdancewic
We introduce Ideograph, a language for expressing and manipulating structured data. Its types describe kinds of structures, such as natural numbers, lists, multisets, binary trees,…
cs.LG2023
PAC Prediction Sets for Large Language Models of Code
Adam Khakhar, Stephen Mell, Osbert Bastani
Prediction sets have recently been shown to be a promising strategy for quantifying the uncertainty of deep neural networks in a way that provides theoretical guarantees. However,…