Search Results for author:
Found 2 papers, 0 papers with code
Inductive Program Synthesis over Noisy Datasets using Abstraction Refinement Based Optimization
Both Rose and the previous system synthesize programs that are optimal over the provided noisy data sets.
Program Synthesis Over Noisy Data with Guarantees
We also formalize the concept and conditions required for convergence, i. e., conditions under which the probability that the synthesis algorithm produces a correct program increases as the size of the noisy data set increases.
Cannot find the paper you are looking for? You can
Submit a new open access paper.
