program-synthesis topic

APPS: Automated Programming Progress Standard (NeurIPS 2021)

hendrycks

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

crazydonkey200

Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149

primaryobjects

A Dataset of Python Challenges for AI Research

microsoft

Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.

Inventitech

Synthesis of Heap-Manipulating Programs from Separation Logic

TyGuS

Programmatic modification and evaluation of software

GrammaTech

A relation-aware semantic parsing model from English to SQL

microsoft

Microsoft Program Synthesis using Examples SDK is a framework of technologies for the automatic generation of programs from input-output examples. This repo includes samples and sample data for the Mi...

microsoft

The Abstraction and Reasoning Corpus

fchollet