Skip to yearly menu bar Skip to main content


Workshop

Leveraging Constraint Logic Programming for Neural Guided Program Synthesis

Lisa Zhang · Gregory Rosenblatt · Ethan Fetaya · Renjie Liao · William Byrd · Raquel Urtasun · Richard Zemel

East Meeting Level 8 + 15 #5

Thu 3 May, 4:30 p.m. PDT

We present a method for solving Programming by Example (PBE) problems that tightly integrates a neural network with a constraint logic programming system called miniKanren. Internally, miniKanren searches for a program that satisfies the recursive constraints imposed by the provided examples. Our Recurrent Neural Network (RNN) model uses these constraints as input to score candidate programs. We show evidence that using our method to guide miniKanren’s search is a promising approach to solving PBE problems.

Live content is unavailable. Log in and register to view live content