Recursion synthesis with unrealizability witnesses.

Azadeh Farzan Danya Lette Victor Nicolet

Published in: PLDI (2022)

Keyphrases

complex objects
program synthesis
deductive databases
databases
data sets
data mining
machine learning
multiscale
texture synthesis
controller synthesis
functional programs
datalog programs
probability distribution
probabilistic model
preprocessing
three dimensional
feature selection
artificial intelligence