4 citations · 8 across the 4 of their papers we have counts for
Showing 2021Show all
2 papers · 1 filter
cs.PL2021★ 1 cited
Programming with Neural Surrogates of Programs
Alex Renda, Yi Ding, Michael Carbin
Surrogates, models that mimic the behavior of programs, form the basis of a variety of development workflows. We study three surrogate-based design patterns, evaluating each in cas…
cs.PL2021★ 4 cited
Programming and Reasoning with Partial Observability
Eric Atkinson, Michael Carbin
Computer programs are increasingly being deployed in partially-observable environments. A partially observable environment is an environment whose state is not completely visible t…