GitPlanet

Cheap and reliable Node.js hosting starts at $3/month, and $1/month static HTML hosting

Created with love in Canada, visit hostnodejs.com today

Feel like to post an Ad? Learn Details
All Projects → praveenkulkarni1996 → awesome-program-synthesis

praveenkulkarni1996 / awesome-program-synthesis

Licence: other
An curated list of papers on program synthesis.

Labels

awesomeprogram-synthesisawesome-list

Projects that are alternatives of or similar to awesome-program-synthesis

L2
λ² is a tool for synthesizing functional programs from input-output examples.
Stars: ✭ 59 (+5.36%)
Mutual labels:  program-synthesis
suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
Stars: ✭ 107 (+91.07%)
Mutual labels:  program-synthesis
plur
PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. We provide scripts for downloading, processing, and loading the datasets. This is done by offering a unified API and data structures for all datasets.
Stars: ✭ 67 (+19.64%)
Mutual labels:  program-synthesis
Popper
Popper is an inductive logic programming (ILP) system.
Stars: ✭ 95 (+69.64%)
Mutual labels:  program-synthesis
GAS
Generative Art Synthesizer - a python program that generates python programs that generates generative art
Stars: ✭ 42 (-25%)
Mutual labels:  program-synthesis
neural inverse knitting
Code for Neural Inverse Knitting: From Images to Manufacturing Instructions
Stars: ✭ 30 (-46.43%)
Mutual labels:  program-synthesis
PythonProgrammingPuzzles
A Dataset of Python Challenges for AI Research
Stars: ✭ 858 (+1432.14%)
Mutual labels:  program-synthesis
deepcoder
Deepcoder paper implementation
Stars: ✭ 96 (+71.43%)
Mutual labels:  program-synthesis
neuro-symbolic-ai-soc
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
Stars: ✭ 41 (-26.79%)
Mutual labels:  program-synthesis
Arc
The Abstraction and Reasoning Corpus
Stars: ✭ 1,598 (+2753.57%)
Mutual labels:  program-synthesis
autogoal
A Python framework for program synthesis with a focus on Automated Machine Learning.
Stars: ✭ 153 (+173.21%)
Mutual labels:  program-synthesis
apps
APPS: Automated Programming Progress Standard (NeurIPS 2021)
Stars: ✭ 174 (+210.71%)
Mutual labels:  program-synthesis

Awesome Program Synthesis

A curated list of papers on program synthesis.

Awesome

Contents

Survey

Survey on Program Synthesis - Sumit Gulwani, Rishubh Singh, Alex Polozov ( + Follow-up blog)

STOKE

STOKE is a stochastic optimizer and program synthesizer from Stanford.

Publications

Flash Fill

Flash Fill is a programming by examples tool used in Excel from the PROSE team at Microsoft Research. The PROSE team is lead by Sumit Gulwani.

Publications

Utopia

Utopia is a research group at the University of Texas at Austin. An incomplete list of publications follows.

Publications

Sketch

Group led by Armando Solar-Lezama. Programming by sketching gives the synthesizer a puzzle that it has to fill in.

Yale-NUS

Contributing

Contributions are welcome, please open a PR or an issue. Processing these will take a while though, since I'll at least take a peek into new submissions. In this early stage, proposals for adding missing categories are also useful. In your submissons, please stick to the established format of existing entries.

Note that the project description data, including the texts, logos, images, and/or trademarks, for each open source project belongs to its rightful owner. If you wish to add or remove any projects, please contact us at [email protected].