Synthesis of Heap-Manipulating Programs from Separation Logic
Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
Code and Data artifact for NeurIPS 2023 paper - "Monitor-Guided Decoding...
Deepcoder paper implementation
An official TensorFlow implementation of "Neural Program Synthesis from ...
🌌️Fuzz4All: Universal Fuzzing with Large Language Models
An AIMGP (Automatic Induction of Machine code by Genetic Programming) en...
PLUR (Programming-Language Understanding and Repair) is a collection of ...
An curated list of papers on program synthesis.
λ² is a tool for synthesizing functional programs from input-output exam...
The Abstraction and Reasoning Corpus made into a web game
Type-driven, component based synthesis, showcasing TYpe Guided Abstract ...
Generative Art Synthesizer - a python program that generates python prog...
EvoEval: Evolving Coding Benchmarks via LLM
Code for Neural Inverse Knitting: From Images to Manufacturing Instructions