DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of input and output, DeepSynth finds a program matching the examples.
☆50Oct 25, 2024Updated last year
Alternatives and similar repositories for DeepSynth
Users that are interested in DeepSynth are comparing it to the libraries listed below
Sorting:
- Tool for learning linear temporal logic formulas using combinatorial approach☆14Jan 11, 2025Updated last year
- The Pix2Code framework: generalizable, interpretable and revisable visual concept learning☆14Oct 7, 2025Updated 5 months ago
- Neurosymbolic Library☆28Updated this week
- Public repository for the LLM course at MVA☆36Mar 13, 2026Updated last week
- The RunBugRun dataset of executable bugs☆23Sep 24, 2025Updated 5 months ago
- Scalable Neural-Probabilistic Answer Set Programming☆18May 23, 2024Updated last year
- A GitHub Action for suggesting Python type annotations.☆42Mar 23, 2023Updated 2 years ago
- ☆13Jul 6, 2023Updated 2 years ago
- A scalable abstraction learning library☆85Sep 10, 2025Updated 6 months ago
- ☆18Jan 3, 2022Updated 4 years ago
- Julia wrapper around SWI Prolog☆13Feb 17, 2022Updated 4 years ago
- This is the official implement for the paper 'Domain Adaptive Code Completion via Language Models and Decoupled Domain Databases''☆14Oct 4, 2023Updated 2 years ago
- This is the repository for the paper Static Prediction of Runtime Errors by Learning to Execute Programs with External Resource Descripti…☆25Nov 18, 2022Updated 3 years ago
- Supplementary material for MSR2017 paper Structure and Evolution of Package Dependency Networks☆18Oct 8, 2018Updated 7 years ago
- Probing pre-trained source code models☆15Apr 27, 2022Updated 3 years ago
- ☆16Apr 26, 2021Updated 4 years ago
- ☆10Feb 23, 2026Updated 3 weeks ago
- An evolutionary source-code fuzzer☆12Updated this week
- ☆19Nov 12, 2025Updated 4 months ago
- Cluster-Normalize-Activate Modules☆13Jan 13, 2025Updated last year
- ☆21Jun 22, 2019Updated 6 years ago
- Using GPT-3 to detect hate speech that contains sexist and racist content☆24Nov 11, 2025Updated 4 months ago
- This is the official code implementation of Bongard-OpenWorld (ICLR 2024).☆14Jan 6, 2025Updated last year
- Atari-style POMDPs☆25Feb 13, 2026Updated last month
- ☆70May 12, 2022Updated 3 years ago
- AI for Mathematics Paper List☆17Jan 14, 2025Updated last year
- Learning Algebraic Representation for Systematic Generalization in Abstract Reasoning☆11Jul 20, 2022Updated 3 years ago
- ☆16Oct 2, 2024Updated last year
- The CodeInsight dataset is designed for code generation tasks, providing developers with expert-curated examples that bridge the gap betw…☆14Oct 22, 2024Updated last year
- Codebase for Neuro-Symbolic Continual Learning.☆27Aug 21, 2023Updated 2 years ago
- Deployed version of Tableaunoir. Do not modify this repository.☆11Mar 11, 2026Updated last week
- C. Hocquette and A. Cropper, Learning programs with magic values.☆19Oct 5, 2022Updated 3 years ago
- A docker container skeleton for Flask micro-services☆11Mar 25, 2021Updated 4 years ago
- R-package: Bayesian variable selection, model choice, and regularized estimation for (spatial) generalized additive mixed regression …☆14Oct 22, 2024Updated last year
- A novel approach to learning concept embeddings and approximate reasoning in ALC knowledge bases with neural networks☆14Feb 7, 2023Updated 3 years ago
- AVATAR: Fixing Semantic Bugs with Fix Patterns of Static Analysis Violations☆26Apr 26, 2021Updated 4 years ago
- codesearch.ai semantic code search engine☆42Mar 24, 2023Updated 2 years ago
- Open paper reading club @ JetBrains☆38Oct 14, 2024Updated last year
- larc solving with gpt4☆20May 25, 2023Updated 2 years ago