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

Results from the Paper

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