The Abstraction and Reasoning Corpus
-
Updated
May 8, 2022 - JavaScript
The Abstraction and Reasoning Corpus
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
A Dataset of Python Challenges for AI Research
EvalPlus for rigourous evaluation of LLM-synthesized code
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 Microsoft Program Synthesis using Example SDK.
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
Direct Manipulation Programming for HTML/SVG
A relation-aware semantic parsing model from English to SQL
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
Code for Parsel 🐍 - generate complex programs with language models
discover elisp functions that do what you want
APPS: Automated Programming Progress Standard (NeurIPS 2021)
A Python framework for program synthesis with a focus on Automated Machine Learning.
Metagol - an inductive logic programming system
An inductive logic programming system
Programmatic modification and evaluation of software
Program Synthesis
Repilot, a patch generation tool introduced in the ESEC/FSE'23 paper "Copiloting the Copilots: Fusing Large Language Models with Completion Engines for Automated Program Repair"
Synthesis of Heap-Manipulating Programs from Separation Logic
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."