3i-hust-ps Goto Github PK

autoencoder_program_synthesis

autogoal

A Python framework for program synthesis with a focus on Automated Machine Learning.

awesome-program

A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic reinforcement learning.

cs190i

Program Synthesis

cse291-program-synthesis

Program Synthesis Course

deep-coder

Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)

demo2program

An official TensorFlow implementation of "Neural Program Synthesis from Diverse Demonstration Videos" (ICML 2018) by Shao-Hua Sun, Hyeonwoo Noh, Sriram Somasundaram, and Joseph J. Lim

difflog

Difflog: Synthesizing Datalog Programs using Numerical Relaxation

dilp-st

escher-scala

Recursive Program Synthesis using input-output examples

flashfill

Partial implementation of FlashFill in C#

formalml

Formalization of Machine Learning Theory with Applications to Program Synthesis

gandrl_for_nps

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

genetic-flashfill

Naïve ML implementation of flashfill.

gensynth

Implementation accompanying our AAAI 2021 paper titled GenSynth: Synthesizing Datalog Programs without Language Bias.

gradientinduction

Framework of DataLog Neural Program Synthesis

houdini

HOUDINI: Lifelong Learning as Program Synthesis

jsyn

json transformations program synthesizer written in Haskell

karel

Karel dataset for program synthesis and program induction

karel_program_synthesis

复旦程序合成项目

lstm-program-synthesis

Long Short Term Memory Recurrent Neural Network program synthesis

mcmc-synthesis

MCMC applied to program synthesis

minisynth

program synthesis is possible

neural-symbolic-machines

Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.

neuralkanren

Neural Guided Constraint Logic Programming for Program Synthesis

object_reference_synthesis

Generating Programmatic Referring Expressions via Program Synthesis

pccoder

Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"

program-synthesis

VAEs for program synthesis

program-synthesis-1

program-synthesis-2