kach / memoLinks
A probabilistic programming language for metacognitive modeling
☆135Updated last week
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
- Probabilistic programming with large language models☆159Updated 2 months ago
- ☆74Updated 3 years ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆86Updated 10 months ago
- ☆30Updated 2 years ago
- A scalable abstraction learning library☆84Updated 4 months ago
- Dynamic Markov Blanket Discovery☆16Updated last year
- An environment for learning formal mathematical reasoning from scratch☆72Updated last year
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆30Updated last year
- Probabilistic programming system for fast and exact symbolic inference☆84Updated last year
- Neurosymbolic Library☆28Updated this week
- A domain-specific probabilistic programming language for modeling and inference with language models☆141Updated 9 months ago
- ☆63Updated 3 weeks ago
- ☆44Updated 2 years ago
- On efficient computation in active inference☆17Updated last year
- Flexible Inference for Predictive Coding Networks in JAX.☆65Updated 3 weeks ago
- DeepSynth is a general-purpose program synthesizer in the programming by example framework: the user provides a few examples as pairs of …☆50Updated last year
- A programming language for formal/informal computation.☆43Updated last month
- Code and data for People construct simplified mental representations to plan☆23Updated 2 years ago
- GAP package for Hierarchical Composition and Decomposition of Permutation Groups and Transformation Semigroups☆21Updated 3 weeks ago
- ☆31Updated 3 months ago
- Scalable training and inference for Probabilistic Circuits☆92Updated this week
- Codebase for VAEL: Bridging Variational Autoencoders and Probabilistic Logic Programming☆23Updated 2 years ago
- Probabilistic programming with programmable variational inference.☆22Updated last year
- Convex optimization modeling in Lean 4☆66Updated last year
- Formalizing stochastic doubly-efficient debate☆118Updated last year
- probabilistic programming focused on fun☆49Updated 3 weeks ago
- ☆39Updated last year
- An experimental language for causal reasoning☆250Updated 2 months ago
- ☆82Updated 4 years ago