program-synthesis 开源项目推荐（338 个）

fchollet /ARC-AGI

The Abstraction and Reasoning Corpus

evalplus /evalplus

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

primaryobjects /AI-Programmer

使用人工智能和遗传算法自动编写程序。电子邮件：http://www.primaryobjects.com/cms/article149

microsoft /PythonProgrammingPuzzles

A Dataset of Python Challenges for AI Research

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.

microsoft /multilspy

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

ravichugh /sketch-n-sketch

Direct Manipulation Programming for HTML/SVG

Inventitech /strans

通过学习提供的示例来执行字符串操作任务，而无需显式编程。

hendrycks /apps

APPS: Automated Programming Progress Standard (NeurIPS 2021)

bigcode-project /bigcodebench

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

microsoft /rat-sql

A relation-aware semantic parsing model from English to SQL

ezelikman /parsel

Code for Parsel 🐍 - generate complex programs with language models

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.

Wilfred /suggest.el

discover elisp functions that do what you want

Shyboy0499 /precondition-library

An agent that compiles git maintenance chores into reusable programs, then decides whether to replay them by running checks rather than by guessing the task looks familiar

fuzz4all /fuzz4all

🌌️Fuzz4All: Universal Fuzzing with Large Language Models

logic-and-learning-lab /Popper

归纳逻辑编程系统

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

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.

gia-uh /autogoal

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