Alternatives and similar repositories for ProgramSearch:

Users that are interested in ProgramSearch are comparing it to the libraries listed below

• bunelr / GandRL_for_NPS
  Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis
  ☆38Updated last year
• google-research / crossbeam
  ☆43Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆75Updated last year
• clvrai / leaps
  Code for Learning to Synthesize Programs as Interpretable and Generalizable Policies in NeurIPS 2021
  ☆34Updated 2 years ago
• trishullab / near
  ☆24Updated 4 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆59Updated 4 years ago
• lorepozo / ec
  Learning programs with the Exploration-Compression algorithm
  ☆9Updated 6 years ago
• Jungyhuk / latent-execution
  ☆25Updated 3 years ago
• yycdavid / program-synthesis-guided-RL
  ☆24Updated 2 years ago
• shrivastavadisha / N-PEPS
  ☆18Updated 3 years ago
• mtensor / neural_sketch
  neural sketch project, currently in generative regex, list transformation (deepcoder), and text editing (robustfill) domains
  ☆24Updated 4 years ago
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 years ago
• taylorwwebb / emergent_symbols
  Code for 'Emergent Symbols through Binding in External Memory'.
  ☆20Updated last year
• albertqjiang / INT
  Official code for paper: INT: An Inequality Benchmark for Evaluating Generalization in Theorem Proving
  ☆37Updated 2 years ago
• rfeinman / GNS-Modeling
  Generative Neuro-Symbolic (GNS) Modeling (Feinman & Lake, 2021)
  ☆26Updated 3 years ago
• shaohua0116 / awesome-program
  A curated list of papers related to program synthesis, program induction, program execution, program and code repair, and programmatic re…
  ☆157Updated 3 years ago
• asolarlez / sketch-frontend
  ☆34Updated 3 months ago
• asolarlez / sketch-backend
  ☆39Updated 3 months ago
• tomsilver / policies_logic_programs
  Few-shot Bayesian Imitation Learning with Policies as Logic over Programs
  ☆18Updated 2 years ago
• rohanmukh / nsg
  ☆20Updated 2 years ago
• facebookresearch / productive_concept_learning
  Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…
  ☆17Updated 3 years ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated last year
• kavigupta / neurosym-lib
  Neurosymbolic Library
  ☆21Updated this week
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆82Updated last year
• shihui2010 / symbolic_simplifier
  PyTorch implementation for the Deep Symbolic Simplification Without Human Knowledge
  ☆14Updated 3 years ago
• JindongJiang / GNM
  Official Release of NeurIPS 2020 Spotlight paper "Generative Neurosymbolic Machines"
  ☆35Updated 10 months ago
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆78Updated 7 years ago
• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 5 years ago
• ivan-gavran / samples2LTL
  A tool for obtaining LTL formulas from a sample of positive and negative words.
  ☆22Updated 2 years ago
• azreasoners / NeurASP
  ☆41Updated last year