Program Synthesis Benchmarks Generation

This repo presents the Program Synthesis Benchmarks generated by Large Language Models such as chatGPT.

1. BURST, SMYTH - Bottom-Up Synthesis of Recursive Functional Programs using Angelic Execution, Program Sketching with Live Bidirectional Evaluation -> Benchmarks
2. LEON - Synthesis modulo recursive functions -> Benchmarks
3. SYNQUID - Program Synthesis from Polymorphic Refinement Types -> Benchmarks
4. LAMBDA SQUARE - Synthesizing Data Structure Transformations from Input-Output Examples -> Benchmarks
5. ESCHER - Recursive Program Synthesis -> Benchmarks