nathanael-fijalkow / DeepSynth
General-purpose program synthesiser
☆31Updated last year
Related projects: ⓘ
- ☆41Updated last year
- PLUR (Programming-Language Understanding and Repair) is a collection of source code datasets suitable for graph-based machine learning. W…☆88Updated 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 last year
- ☆18Updated 2 years ago
- Clover: Closed-Loop Verifiable Code Generation☆23Updated 3 months ago
- ☆20Updated 2 years ago
- Heavyweight Python dynamic analysis framework☆12Updated 5 months ago
- ☆13Updated 5 months ago
- SatLM: SATisfiability-Aided Language Models using Declarative Prompting (NeurIPS 2023)☆39Updated 2 months ago
- A scalable abstraction learning library☆70Updated 9 months ago
- ☆14Updated 5 months ago
- Data and Code for Reproducing "Global Relational Models of Source Code"☆82Updated 3 years ago
- HOUDINI: Lifelong Learning as Program Synthesis☆48Updated 4 years ago
- Fork of the awesome function_parser library from Github's CodeSearchNet Challenge repo: https://github.com/github/CodeSearchNet/tree/mast…☆24Updated last year
- OOPSLA 2019 Artifact for AutoPandas. Website at https://rbavishi.github.io/autopandas☆30Updated last year
- 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☆11Updated 4 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆23Updated 6 months ago
- A Systematic Literature Review of Deep Learning in Software Engineering☆18Updated 3 weeks ago
- ☆15Updated 2 years ago
- ManyTypes4Py: A benchmark Python dataset for machine learning-based type inference☆18Updated 2 years ago
- Towards AI-Assisted Synthesis of Verified Dafny Methods☆30Updated 3 months ago
- Code for generating the JuICe dataset.☆37Updated 2 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
- Semantic Code Search☆34Updated last year
- Two Automatic code completion IDE extensions for @JetBrains and @microsoft/vscode based on Transformer-based large language models for so…☆54Updated 5 months ago
- C# Data Extraction for "Learning to Represent Edits"☆27Updated 5 years ago
- Artifact repository for the paper "Lost in Translation: A Study of Bugs Introduced by Large Language Models while Translating Code", In P…☆38Updated 3 months ago
- [ICML 2021] Break-It-Fix-It: Unsupervised Learning for Program Repair☆108Updated last year
- Code for "Typilus: Neural Type Hints" PLDI 2020☆59Updated last year