Claim Synthesis via Predicate Recycling.

Yonatan Bilu Noam Slonim

Published in: ACL (2) (2016)

Keyphrases

program synthesis
neural network
first order logic
database
databases
machine learning
computer vision
information systems
case study
image segmentation
data structure
preprocessing
texture synthesis