39 results found Sort:
- Filter by Primary Language:
- Python (23)
- C# (2)
- JavaScript (2)
- Jupyter Notebook (2)
- Emacs Lisp (1)
- Haskell (1)
- Java (1)
- Ruby (1)
- Scala (1)
- OCaml (1)
- Common Lisp (1)
- Racket (1)
- Dafny (1)
- Elm (1)
- +
The Abstraction and Reasoning Corpus
Created
2019-11-05
112 commits to master branch, last one 5 months ago
Rigourous evaluation of LLM-synthesized code - NeurIPS 2023 & COLM 2024
Created
2023-04-15
804 commits to master branch, last one 4 days ago
Using artificial intelligence and genetic algorithms to automatically write programs. Tutorial: http://www.primaryobjects.com/cms/article149
Created
2013-01-23
213 commits to master branch, last one about a year ago
A Dataset of Python Challenges for AI Research
Created
2021-04-25
180 commits to main branch, last one about a year ago
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 Mi...
Created
2015-10-21
236 commits to main branch, last one 23 days ago
Direct Manipulation Programming for HTML/SVG
Created
2015-04-10
3,246 commits to master branch, last one 4 years ago
Code for Parsel 🐍 - generate complex programs with language models
Created
2023-01-26
14 commits to main branch, last one about a year ago
APPS: Automated Programming Progress Standard (NeurIPS 2021)
Created
2021-04-24
43 commits to main branch, last one 5 months ago
A relation-aware semantic parsing model from English to SQL
Created
2020-05-19
25 commits to master branch, last one 3 years ago
Neural Symbolic Machines is a framework to integrate neural networks and symbolic representations using reinforcement learning, with applications in program synthesis and semantic parsing.
Created
2018-07-03
98 commits to master branch, last one 3 years ago
discover elisp functions that do what you want
Created
2016-07-25
242 commits to master branch, last one about a year ago
BigCodeBench: Benchmarking Code Generation Towards AGI
Created
2024-04-29
1,150 commits to main branch, last one a day ago
A Python framework for program synthesis with a focus on Automated Machine Learning.
Created
2020-04-14
1,181 commits to main branch, last one 8 months ago
An inductive logic programming system
Created
2021-04-05
704 commits to main branch, last one 3 months ago
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 bu...
Created
2023-11-04
38 commits to main branch, last one 3 months ago
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
Created
2024-01-30
5 commits to main branch, last one 28 days ago
Programmatic modification and evaluation of software
Created
2017-12-01
7,452 commits to master branch, last one 29 days ago
Program Synthesis
Created
2018-01-22
225 commits to master branch, last one 3 years ago
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"
Created
2022-08-29
334 commits to main branch, last one about a year ago
Synthesis of Heap-Manipulating Programs from Separation Logic
Created
2017-08-22
1,308 commits to master branch, last one 2 years ago
Deepcoder paper implementation
Created
2017-10-15
25 commits to master branch, last one about a year ago
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
Created
2018-06-23
26 commits to master branch, last one 5 years ago
Program synthesis for Ruby
Created
2019-09-04
215 commits to master branch, last one 12 days ago
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 ...
This repository has been archived
(exclude archived)
Created
2021-12-02
9 commits to main branch, last one 2 years ago
The Abstraction and Reasoning Corpus made into a web game
Created
2021-08-05
66 commits to main branch, last one 2 months ago
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 ...
Created
2024-01-13
5 commits to main branch, last one 9 months ago
λ² is a tool for synthesizing functional programs from input-output examples.
Created
2016-05-11
482 commits to master branch, last one about a year ago
Type-driven, component based synthesis, showcasing TYpe Guided Abstract Refinement (TYGAR)
Created
2018-07-18
314 commits to master branch, last one 2 years ago
EvoEval: Evolving Coding Benchmarks via LLM
Created
2024-03-26
5 commits to main branch, last one 7 months ago
multispy is a lsp client library in Python intended to be used to build applications around language servers.
Created
2024-08-07
30 commits to main branch, last one about a month ago