HackerPapers

arXiv:1809.02840cs.LG

Neural Guided Constraint Logic Programming for Program Synthesis

Lisa Zhang, Gregory Rosenblatt, Ethan Fetaya, Renjie Liao, William E. Byrd, Matthew Might, Raquel Urtasun, Richard Zemel

Abstract

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. Crucially, the neural model uses miniKanren's internal representation as input; miniKanren represents a PBE problem as recursive constraints imposed by the provided examples. We explore Recurrent Neural Network and Graph Neural Network models. We contribute a modified miniKanren, drivable by an external agent, available at https://github.com/xuexue/neuralkanren. We show that our neural-guided approach using constraints can synthesize programs faster in many cases, and importantly, can generalize to larger problems.

arXiv comments
To appear in NIPS 2018
Journal reference
DOI
Subjects
cs.LGMachine Learning stat.MLMachine Learning (Statistics)

On Hacker News

Linked by 3 identifiable commenters in 3 comments across 3 threads, from Jun 2023 to Jan 2025.

Comments linking this paper, per year.

Discussed in comments3 threads

  1. What Is miniKanren? 1 comment

    • Hey! Thanks for all of the work you do. I love reading your stuff. Lately, I've been playing a lot with the code from Neural Guided Constraint Logic Programming for Program Synthesis [1]. I want to apply it to searching for neural network architectures. Something like…

      eihliView on HNParent context

  2. Show HN: LLMs can generate valid JSON 100% of the time 1 comment

    • IanCal said it all. But for alternative approaches that also use LLM (with miniKanren) you can check https://arxiv.org/abs/1809.02840

      remiloufView on HNParent context

  3. Compilers for the Future 1 comment

    • > I call it program synthesis. In ChatGPT you can get ChatGPT to generate code, so this kind of already exists. This is cool, but to be clear work on program synthesis predates ChatGPT by _decades_. For a long time the work was searching for a program which met some behavioral…

      abeppuView on HNParent context

Submitted to Hacker News

Connected through shared HN threads, not inferred similarity or a recommendation.