The Abstraction and Reasoning Corpus

Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024

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

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.

Direct Manipulation Programming for HTML/SVG

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

multilspy is a lsp client library in Python intended to be used to build applications around language servers.

APPS: Automated Programming Progress Standard (NeurIPS 2021)

[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI

A relation-aware semantic parsing model from English to SQL

Code for Parsel 🐍 - generate complex programs with language models

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

discover elisp functions that do what you want

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding of Code LMs with Static Analysis of Repository Context". `multispy` is a lsp client library in Python intended to be used to build applications around language servers.

An inductive logic programming system

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

[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models

The collection synthesizer

Metagol - 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

Deepcoder paper implementation

A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement, ASE 2024 (Distinguished Paper Award)

A Lean tactic for Canonical, a search procedure for terms in dependent type theory.

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

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