#Program-synthesis
Showing 13 of 13 repositories tagged #program-synthesis, ranked by stars
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
multilspy is a lsp client library in Python intended to be used to build applications around language servers.
[ICLR'25] BigCodeBench: Benchmarking Code Generation Towards AGI
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.
A Knowledge-grounded framework for Autonomous ML/AI Program Synthesis and Optimization
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.
EvoEval: Evolving Coding Benchmarks via LLM
Neuro-Symbolic Visual Question Answering on Sort-of-CLEVR using PyTorch
A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus
Family-aware evolutionary alpha mining with LLM-guided symbolic hybridization.