C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
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