The Abstraction and Reasoning Corpus
Using artificial intelligence and genetic algorithms to automatically wr...
A Dataset of Python Challenges for AI Research
EvalPlus for rigourous evaluation of LLM-synthesized code
Microsoft Program Synthesis using Examples SDK is a framework of technol...
Performs string manipulation tasks by learning from the provided example...
Direct Manipulation Programming for HTML/SVG
A relation-aware semantic parsing model from English to SQL
Neural Symbolic Machines is a framework to integrate neural networks and...
discover elisp functions that do what you want
The collection synthesizer
Metagol - an inductive logic programming system
An inductive logic programming system
Programmatic modification and evaluation of software
Program Synthesis