nathanael-fijalkow / DeepSynth
General-purpose program synthesiser
☆34Updated 3 weeks ago
Related projects ⓘ
Alternatives and complementary repositories for DeepSynth
- ☆43Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆87Updated 2 years ago
- ☆18Updated 2 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆26Updated 5 months ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆83Updated 3 years ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆42Updated 4 months ago
- Training language models to make programs faster☆83Updated 7 months ago
- ☆20Updated 2 years ago
- Code for generating the JuICe dataset.☆37Updated 3 years ago
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆30Updated 2 years ago
- The dataset for the variable-misuse task, used in the ICLR 2020 paper 'Global Relational Models of Source Code' [https://openreview.net/f…☆22Updated 4 years ago
- Repository of the paper 'CodeQueries: A Dataset of Semantic Queries over Code' published in ISEC 2024☆12Updated 7 months ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- ☆13Updated 8 months ago
- ☆15Updated 7 months ago
- Heavyweight Python dynamic analysis framework☆13Updated 7 months ago
- ☆15Updated 3 years ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆19Updated 2 months ago
- REGEL: Regular Expression Generation from Examples and Language☆33Updated 2 years ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆24Updated 8 months ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 3 years ago
- A redistributable subset of the ETH Py150 corpus [https://www.sri.inf.ethz.ch/py150], introduced in the ICML 2020 paper 'Learning and Eva…☆29Updated 4 years ago
- A benchmark for evaluating embeddings of identifiers in source code.☆22Updated 3 years ago
- Mining tool and large-scale datasets of single statement bug fixes in Python☆15Updated 11 months ago
- A scalable abstraction learning library☆74Updated 11 months ago
- COPRA: An in-COntext PRoof Agent which uses LLMs like GPTs to prove theorems in formal languages.☆47Updated 3 weeks ago
- CodeMind is a generic framework for evaluating inductive code reasoning of LLMs. It is equipped with a static analysis component that ena…☆33Updated 3 months ago
- Semantic Code Search☆34Updated last year