kach / memoLinks
A domain-specific probabilistic programming language for reasoning about reasoning
☆84Updated this week
Alternatives and similar repositories for memo
Users that are interested in memo are comparing it to the libraries listed below
Sorting:
- ☆29Updated last year
- Probabilistic programming with large language models☆124Updated last month
- ☆67Updated 3 years ago
- Language of thought library for python 3☆49Updated last year
- A scalable abstraction learning library☆80Updated this week
- ☆23Updated last year
- Flexible Inference for Predictive Coding Networks in JAX.☆51Updated 2 weeks ago
- Probabilistic programming system for fast and exact symbolic inference☆80Updated last year
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆84Updated 4 months ago
- An environment for learning formal mathematical reasoning from scratch☆71Updated 10 months ago
- A programming language for formal/informal computation.☆41Updated 2 weeks ago
- ☆61Updated 2 months ago
- ☆56Updated 8 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆132Updated 2 months ago
- On efficient computation in active inference☆17Updated last year
- Automated Research Assistant☆59Updated last week
- ☆12Updated 3 weeks ago
- Dynamic Markov Blanket Discovery☆13Updated last year
- Formalizing stochastic doubly-efficient debate☆107Updated 9 months ago
- ☆26Updated last week
- Code and data for People construct simplified mental representations to plan☆23Updated last year
- a categorical deep learning compiler☆203Updated 4 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆29Updated last year
- tomsup 👍 Theory of Mind Simulation using Python. A package that allows for easy agent-based modelling of recursive Theory of Mind☆68Updated last year
- Neurosymbolic Library☆25Updated this week
- epsilon machines and transformers!☆25Updated last week
- Dyna built on R-exprs (First Prototype)☆15Updated 3 years ago
- Scalable training and inference for Probabilistic Circuits☆69Updated last month
- Composable inference algorithms with LLMs and programmable logic☆70Updated 7 months ago
- Portfolio REgret for Confidence SEquences☆20Updated 7 months ago