Recursive Program Synthesis using input-output examples
-
Updated
May 25, 2017 - Scala
Recursive Program Synthesis using input-output examples
Evoasm backend library
Reimplementation of the Skolem function generation using Rosette
Tortoise: Interactive System Configuration Repair
Library for morphological inflection of any language.
Source Code Generation Based On User Intention Using LSTM Networks
UAV control with formal guarantees
Machine Learning functions inside Java objects
Python module with Program Synthesis Techniques for NLP
Learning programs with the Exploration-Compression algorithm
Term paper and research on program synthesis at SPBU
Interactive dataset for program learning.
Software Verification course project - Fixing bugs using a working example as a specification
Science Paper Methodology course project - Paper on Program Synthesis
Repair and Generation of Formal Models Using Synthesis (User Interface)
Resolve conflicts via version space algebra in structured merge.
An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
Program synthesis tool. Read a list of strings and create a generator that sample strings from the same distribution as input strings. Focused on test cases of competitive programming problems.
This repository aims to synthesize programs in BrainFuck language. It takes Input-Output examples as input to generate program. The model uses Reinforcement learning to train model to generate model. The agent in RL task is generative RNN model, which samples programs in BF.
Add a description, image, and links to the program-synthesis topic page so that developers can more easily learn about it.
To associate your repository with the program-synthesis topic, visit your repo's landing page and select "manage topics."