Neural Guided Constraint Logic Programming for Program Synthesis.
Lisa ZhangGregory RosenblattEthan FetayaRenjie LiaoWilliam E. ByrdMatthew MightRaquel UrtasunRichard S. ZemelPublished in: CoRR (2018)
Keyphrases
- program synthesis
- constraint logic programming
- constraint solving
- logic programming language
- logic programming
- answer set programming
- constraint programming
- inductive logic programming
- temporal reasoning
- recursive programs
- global constraints
- proof theoretic
- constraint propagation
- programming paradigms
- databases
- general purpose
- knowledge representation
- data mining
- low level
- np hard