program-synthesis

There are 32 repositories under program-synthesis topic.

fchollet / ARC-AGI
The Abstraction and Reasoning Corpus
artificial-intelligence intelligence-testing program-synthesis psychometrics
Language:JavaScript 4613
evalplus / evalplus
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024
benchmark chatgpt efficiency gpt-4 large-language-models program-synthesis testing
Language:Python 1619
primaryobjects / AI-Programmer
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
ai artificial-intelligence c-sharp fitness-score genetic-algorithm genetic-algorithms genetic-programming genome program-synthesis programming-language
Language:C# 1097
microsoft / PythonProgrammingPuzzles
A Dataset of Python Challenges for AI Research
ai program-synthesis programming-competitions puzzles
Language:Python 991
microsoft / prose
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.
synthesis sdk prose microsoft dotnet csharp data-transformation data-wrangling program-synthesis examples
Language:C# 650
ravichugh / sketch-n-sketch
Direct Manipulation Programming for HTML/SVG
direct-manipulation elm html live-programming program-synthesis structured-editing svg
Language:Elm 561
Inventitech / strans
Performs string manipulation tasks by learning from the provided example(s), instead of having to program them out explicitly.
sed shell program-synthesis unix-command unix-cli
Language:Roff 550
hendrycks / apps
APPS: Automated Programming Progress Standard (NeurIPS 2021)
code-generation program-synthesis
Language:Python 492
microsoft / multilspy
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
ai ai4code artificial-intelligence code-analysis code-completion code-generation codegen huggingface-transformers language-server-client language-server-protocol large-language-model large-language-models llm lsp lsp-client neurips neurips-2023 program-synthesis transformer
Language:Python 475
bigcode-project / bigcodebench
[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI
benchmark chatgpt code-generation large-language-models program-synthesis tool-use function-calling instruction-following claude-3 gemini gpt-4 deepseek llm agent agents
Language:Python 443
microsoft / rat-sql
A relation-aware semantic parsing model from English to SQL
program-synthesis semantic-parsing nlp question-answering dbqa nl2sql transformers
Language:Python 442
ezelikman / parsel
Code for Parsel 🐍 - generate complex programs with language models
ai lean machine-learning ml program-synthesis python robotics
Language:Python 433
crazydonkey200 / neural-symbolic-machines
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
deep-learning deep-reinforcement-learning tensorflow program-synthesis semantic-parsing rnn reinforcement-learning
Language:Python 380
Wilfred / suggest.el
discover elisp functions that do what you want
emacs emacs-lisp program-synthesis
Language:Emacs Lisp 374
fuzz4all / fuzz4all
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
fuzzing large-language-models llm program-synthesis testing
Language:Python 301
microsoft / monitors4codegen
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.
ai ai4code codegen dataset huggingface-transformers language-server-client language-server-protocol code-completion code-generation large-language-models program-synthesis neurips-2023 neurips transformer code-analysis lsp lsp-client artificial-intelligence llm
Language:Python 275
logic-and-learning-lab / Popper
An inductive logic programming system
inductive-logic-programming program-synthesis
Language:Python 237
autogoal
gia-uh / autogoal
A Python framework for program synthesis with a focus on Automated Machine Learning.
automl python3 machine-learning framework optimization program-synthesis
Language:Python 212
CozySynthesizer / cozy
The collection synthesizer
data-structures program-synthesis
Language:Python 211
metagol / metagol
Metagol - an inductive logic programming system
inductive-logic-programming program-induction program-synthesis
Language:Prolog 205
GrammaTech / sel
Programmatic modification and evaluation of software
software-engineering source-code evolutionary-computation program-synthesis
Language:Common Lisp 193
deep-symbolic-mathematics / LLM-SR
[ICLR 2025 Oral] This is the official repo for the paper "LLM-SR" on Scientific Equation Discovery and Symbolic Regression with Large Language Models
equation-discovery large-language-models llm-agent program-synthesis scientific-discovery symbolic-regression ai4code ai4math ai4science
Language:Python 182
nearai / program_synthesis
Program Synthesis
deep-learning program-synthesis machine-learning research-project
Language:Jupyter Notebook 145
ise-uiuc / Repilot
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"
code-completion code-generation large-language-models program-repair program-synthesis
Language:Python 135
TyGuS / suslik
Synthesis of Heap-Manipulating Programs from Separation Logic
deductive-reasoning hoare-logic program-synthesis scala separation-logic smt
Language:Scala 128
dkamm / deepcoder
Deepcoder paper implementation
deep-learning deepcoder program-synthesis
Language:Python 120
nju-websoft / PairCoder
A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement, ASE 2024 (Distinguished Paper Award)
code-generation llm-agent multi-agent-system large-language-models pair-programing program-synthesis
Language:Python 111
HiroakiMikami / deep-coder
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
deep-learning program-synthesis deepcoder chainer deeplearning
Language:Python 108
shaohua0116 / demo2program
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
program-synthesis deep-learning video-analysis icml-2018 icml
Language:Python 102
ku-progsys / rbsyn
Program synthesis for Ruby
program-synthesis ruby rails ruby-on-rails
Language:Ruby 95
evoasm / evoasm.rb
An AIMGP (Automatic Induction of Machine code by Genetic Programming) engine
jit ruby aimgp genetic-programming genetic-algorithm program-synthesis x64 x86-64
Language:Ruby 92
pauljblazek / deepdistilling
Mechanistically interpretable neurosymbolic AI (Nature Comput Sci 2024): losslessly compressing NNs to computer code and discovering new algorithms which generalize out-of-distribution and outperform human-designed algorithms
distilling domain-adaptation explainable-ai inductive-logic-programming interpretable knowledge-distillation mechanistic-interpretability model-distillation neurosymbolic out-of-distribution-generalization program-synthesis
Language:Python 92
volotat / ARC-Game
The Abstraction and Reasoning Corpus made into a web game
web-app kids-game psychometrics intelligence-testing program-synthesis game abstraction-learning
Language:JavaScript 90
google-research / 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.
machine-learning deep-learning program-synthesis software-engineering research
Language:Python 87
chasenorman / CanonicalLean
A Lean tactic for Canonical, a search procedure for terms in dependent type theory.
automated-reasoning dependent-type-theory dependent-types formal-methods lean4 program-synthesis theorem-prover theorem-proving
Language:Lean 85
evo-eval / evoeval
EvoEval: Evolving Coding Benchmarks via LLM
benchmark chatgpt claude-3 gemini-pro gpt-4 large-language-models llm program-synthesis testing
Language:Python 76

program-synthesis

fchollet / ARC-AGI

evalplus / evalplus

primaryobjects / AI-Programmer

microsoft / PythonProgrammingPuzzles

microsoft / prose

ravichugh / sketch-n-sketch

Inventitech / strans

hendrycks / apps

microsoft / multilspy

bigcode-project / bigcodebench

microsoft / rat-sql

ezelikman / parsel

crazydonkey200 / neural-symbolic-machines

Wilfred / suggest.el

fuzz4all / fuzz4all

microsoft / monitors4codegen

logic-and-learning-lab / Popper

gia-uh / autogoal

CozySynthesizer / cozy

metagol / metagol

GrammaTech / sel

deep-symbolic-mathematics / LLM-SR

nearai / program_synthesis

ise-uiuc / Repilot

TyGuS / suslik

dkamm / deepcoder

nju-websoft / PairCoder

HiroakiMikami / deep-coder

shaohua0116 / demo2program

ku-progsys / rbsyn

evoasm / evoasm.rb

pauljblazek / deepdistilling

volotat / ARC-Game

google-research / plur

chasenorman / CanonicalLean

evo-eval / evoeval