piantado / Fleet

Related projects ⓘ

Alternatives and complementary repositories for Fleet

• piantado / LOTlib3
  Language of thought library for python 3
  ☆45Updated 9 months ago
• benlipkin / decoding
  Composable inference algorithms with LLMs and programmable logic
  ☆17Updated this week
• RichardEvans / apperception
  ☆71Updated 3 years ago
• piantado / LOTlib
  Lanugage of Thought (LOT) models in Python.
  ☆34Updated 4 years ago
• mtensor / rulesynthesis
  Code for "Learning Compositional Rules via Neural Program Synthesis"
  ☆58Updated 3 years ago
• ellisk42 / humanlike_fewshot_learning
  ☆24Updated last year
• gpoesia / peano
  An environment for learning formal mathematical reasoning from scratch
  ☆53Updated 3 months ago
• piantado / pychuriso
  Python implementation of churiso
  ☆19Updated 4 years ago
• probsys / sppl
  Probabilistic programming system for fast and exact symbolic inference
  ☆76Updated 4 months ago
• mlb2251 / stitch
  A scalable abstraction learning library
  ☆74Updated 11 months ago
• taucompling / mdlrnn
  Minimum Description Length Recurrent Neural Networks
  ☆18Updated last year
• probcomp / hfppl
  Probabilistic programming with HuggingFace language models
  ☆88Updated this week
• lawrennd / jaynes
  Classic papers from Edwin T. Jaynes converted to latex.
  ☆32Updated 2 years ago
• samacqua / LARC
  Language-annotated Abstraction and Reasoning Corpus
  ☆78Updated last year
• tommccoy1 / inductive-bias-distillation
  ☆11Updated 4 months ago
• google-research / crossbeam
  ☆43Updated last year
• rfeinman / pyBPL
  Python implementation of Bayesian Program Learning tools (with PyTorch)
  ☆71Updated 2 years ago
• namedtensor / notation
  ☆108Updated last year
• CatherineWong / dreamcoder
  ☆52Updated 2 years ago
• rawlins / lambda-notebook
  Lambda Notebook: Formal Semantics in Jupyter
  ☆26Updated 3 weeks ago
• 51alg / TerpreT
  ☆42Updated 7 years ago
• jax-ml / coix
  Inference Combinators in JAX
  ☆45Updated 3 weeks ago
• google-deepmind / neural_networks_chomsky_hierarchy
  Neural Networks and the Chomsky Hierarchy
  ☆187Updated 7 months ago
• lorepozo / program-induction
  A library for program induction and learning representations.
  ☆29Updated 11 months ago
• DAIOS-AI / mindscript
  A programming language for formal/informal computation.
  ☆41Updated 5 months ago
• google-deepmind / logical-entailment-dataset
  This repository contains an entailment dataset for propositional logic, and code for generating that dataset. It also contains code for p…
  ☆65Updated 6 years ago
• probcomp / LLaMPPL
  A domain-specific probabilistic programming language for modeling and inference with language models
  ☆112Updated last year
• yashbonde / rasp
  Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.
  ☆44Updated 3 years ago
• SHoltzen / dice
  Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)
  ☆80Updated last year
• kach / memo
  A domain-specific probabilistic programming language for reasoning about reasoning
  ☆39Updated this week