A public repository for "Write, Execute, Assess: Program Synthesis With a REPL" project by Kevin Ellis, Max Nye, Yewen Pu, Felix Sosa, Josh Tenenbaum, and Armando Solar-Lezama. Presented at NeurIPS 2019.
☆39May 21, 2020Updated 5 years ago
Alternatives and similar repositories for ProgramSearch
Users that are interested in ProgramSearch are comparing it to the libraries listed below
Sorting:
- Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021☆39Sep 16, 2025Updated 5 months ago
- Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis☆39Mar 6, 2023Updated 2 years ago
- A library for program induction and learning representations.☆32Dec 18, 2023Updated 2 years ago
- Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…☆17Jul 22, 2021Updated 4 years ago
- neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains☆24Mar 4, 2020Updated 5 years ago
- Learning programs with the Exploration-Compression algorithm☆10May 17, 2018Updated 7 years ago
- Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)☆29Jul 8, 2021Updated 4 years ago
- ☆13Dec 31, 2023Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Feb 18, 2019Updated 7 years ago
- ☆44Apr 5, 2023Updated 2 years ago
- ☆16Nov 1, 2023Updated 2 years ago
- ☆549Jul 1, 2023Updated 2 years ago
- A scalable abstraction learning library☆85Sep 10, 2025Updated 5 months ago
- ☆20Apr 11, 2024Updated last year
- Synthesis of loop-free programs☆24Feb 18, 2026Updated last week
- A Concept-Centric Framework for Intelligent Agents☆22Oct 1, 2025Updated 4 months ago
- ☆46Jan 24, 2026Updated last month
- Benchmarks for SyGuS Competition (SyGuS-Comp)☆43Mar 30, 2023Updated 2 years ago
- ☆25Nov 23, 2021Updated 4 years ago
- ☆24Dec 9, 2020Updated 5 years ago
- Compositional Object Light Fields code☆27Oct 9, 2022Updated 3 years ago
- An curated list of papers on program synthesis.☆70Aug 11, 2019Updated 6 years ago
- Python implementation of Bayesian Program Learning tools (with PyTorch)☆74Jun 27, 2022Updated 3 years ago
- Rainbow self-adaptive framework☆33Dec 14, 2022Updated 3 years ago
- Profile repository of Pietro Monticone.☆14Updated this week
- This repository is about how to build an SQLite version of the Arabic WordNet database.☆10Mar 19, 2019Updated 6 years ago
- ☆39Jan 24, 2026Updated last month
- [ICLR 2024] This is the official implementation for the paper: "Beyond imitation: Leveraging fine-grained quality signals for alignment"☆10May 5, 2024Updated last year
- Named Entity (NER) annotations of the Hebrew Treebank (Haaretz newspaper) corpus, including: morpheme and token level NER labels, nested …☆10Dec 27, 2021Updated 4 years ago
- The code for the paper "A Bayesian Approach to Online Planning" published in ICML 2024.☆13Jun 17, 2024Updated last year
- Analyzing animal collaboration with Bayesian and causal inference.☆13Jul 18, 2025Updated 7 months ago
- A malware sandoxed with gdb☆15Jun 27, 2016Updated 9 years ago
- A tool to collect/validate audio recordings from workers on Amazon Mechanical Turk. Written in Python/Flask. (originally hosted on github…☆14Dec 19, 2022Updated 3 years ago
- Project Moab, a new open-source balancing robot to help engineers and developers learn how to build real-world autonomous control systems…☆36Jul 12, 2023Updated 2 years ago
- Latent Program Network (from the "Searching Latent Program Spaces" paper)☆107Nov 25, 2025Updated 3 months ago
- ☆39Dec 7, 2021Updated 4 years ago
- Transform audio files into mel spectrograms for text-to-speech model training☆12Aug 25, 2021Updated 4 years ago
- A simple framework that automatically generates SU2 configuration (.cfg) files and make calls to SU2 to perform aeroelastic simulations a…☆11Jan 16, 2022Updated 4 years ago
- Connecting bv_decide to SMTLIB.☆13Jan 5, 2026Updated last month