Neural Guided Constraint Logic Programming for Program Synthesis

NeurIPS 2018 Lisa ZhangGregory RosenblattEthan FetayaRenjie LiaoWilliam E. ByrdMatthew MightRaquel UrtasunRichard Zemel

Synthesizing programs using example input/outputs is a classic problem in artificial intelligence. We present a method for solving Programming By Example (PBE) problems by using a neural model to guide the search of a constraint logic programming system called miniKanren... (read more)

PDF Abstract

Evaluation results from the paper

  Submit results from this paper to get state-of-the-art GitHub badges and help community compare results to other papers.