2 citations · 2 across the 2 of their papers we have counts for
Showing 2021 · cs.PLShow all
2 papers · 2 filters
cs.PL2021
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Shivam Handa, Martin Rinard
We present a new synthesis algorithm to solve program synthesis over noisy datasets, i.e., data that may contain incorrect/corrupted input-output examples. Our algorithm uses an ab…
cs.PL2021
Program Synthesis Over Noisy Data with Guarantees
Shivam Handa, Martin Rinard
We explore and formalize the task of synthesizing programs over noisy data, i.e., data that may contain corrupted input-output examples. By formalizing the concept of a Noise Sourc…