kach / memoLinks
A probabilistic programming language for metacognitive modeling
☆131Updated 3 weeks ago
Alternatives and similar repositories for memo
Users that are interested in memo are comparing it to the libraries listed below
Sorting:
- Language of thought library for python 3☆50Updated last year
- A scalable abstraction learning library☆83Updated 4 months ago
- Probabilistic programming with large language models☆156Updated last month
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 9 months ago
- ☆74Updated 3 years ago
- Dynamic Markov Blanket Discovery☆15Updated last year
- ☆63Updated 8 months ago
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- On efficient computation in active inference☆17Updated last year
- ☆30Updated 2 years ago
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Formalizing stochastic doubly-efficient debate☆116Updated last year
- A programming language for formal/informal computation.☆42Updated last week
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- ☆81Updated 4 years ago
- Flexible Inference for Predictive Coding Networks in JAX.☆64Updated last week
- PyTorch Implementation of the paper "A Neuro-vector-symbolic architecture for Solving Raven's Progressive Matrices" published in Nature M…☆100Updated 3 months ago
- Neurosymbolic Library☆28Updated 3 weeks ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆140Updated 8 months ago
- ☆39Updated last year
- Code and data for People construct simplified mental representations to plan☆23Updated 2 years ago
- ☆44Updated 2 years ago
- ☆75Updated last year
- ☆31Updated 2 months ago
- Python package for Sentential Decision Diagrams (SDD)☆71Updated 3 weeks ago
- Language-annotated Abstraction and Reasoning Corpus☆98Updated 2 years ago
- An inductive logic programming system☆251Updated 3 months ago
- a categorical deep learning compiler☆207Updated 3 months ago
- A collaborative environment for formal, interoperable, conceptual modeling☆136Updated this week
- An experimental language for causal reasoning☆244Updated last month