lorepozo / program-induction

Related projects ⓘ

Alternatives and complementary repositories for program-induction

• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆58Updated 3 years ago
• piantado / Fleet
  ☆60Updated last month
• trishullab / houdini
  HOUDINI: Lifelong Learning as Program Synthesis
  ☆48Updated 4 years ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• google-research / crossbeam
  ☆43Updated last year
• pyprob / ppx
  Probabilistic Programming eXecution protocol (PPX)
  ☆73Updated 2 years ago
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆53Updated 3 months ago
• pyro-ppl / pyro-api
  Generic API for dispatch to Pyro backends.
  ☆16Updated 2 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆80Updated last year
• BartoszPiotrowski / lean-premise-selection
  ☆21Updated 11 months ago
• crunchiness / lernd
  Lernd is ∂ILP (dILP) framework implementation based on Deepmind's paper Learning Explanatory Rules from Noisy Data.
  ☆24Updated last year
• zhangir-azerbayev / mathlib-semantic-search
  ☆14Updated last year
• statusfailed / numeric-optics-python
  ☆23Updated 2 years ago
• Tractables / Dice.jl
  ☆17Updated this week
• facebookresearch / productive_concept_learning
  Code for the benchmark containing dataset, models and metrics for productive concept learning -- a kind of compositional reasoning task t…
  ☆16Updated 3 years ago
• arthurpaulino / NumLean
  A Lean 4 package for heavy numerical computations
  ☆17Updated 2 years ago
• tydeu / lean4-papyrus
  An LLVM interface for Lean 4. (WIP)
  ☆15Updated last year
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆74Updated 11 months ago
• uwplse / szalinski
  Szalinski: A Tool for Synthesizing Structured CAD Models with Equality Saturation and Inverse Transformations
  ☆45Updated last year
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• Tractables / ProbabilisticCircuits.jl
  Probabilistic Circuits from the Juice library
  ☆104Updated 5 months ago
• UCLA-StarAI / LearnPSDD
  ☆15Updated 5 years ago
• uclnlp / d4
  Differentiable Forth Interpreter
  ☆66Updated 6 years ago
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆71Updated 2 years ago
• Tractables / LogicCircuits.jl
  Logic Circuits from the Juice library
  ☆48Updated 5 months ago
• lorepozo / ec
  Learning programs with the Exploration-Compression algorithm
  ☆9Updated 6 years ago
• RichardEvans / apperception
  ☆71Updated 3 years ago
• piantado / pychuriso
  Python implementation of churiso
  ☆19Updated 4 years ago
• PBrdng / LearningAlgebraicVarieties.jl
  Learning Algebraic Varieties from Samples
  ☆24Updated 10 months ago
• Wenda302 / IsarStep
  Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"
  ☆11Updated 3 years ago