kach / memo
A domain-specific probabilistic programming language for reasoning about reasoning
☆40Updated this week
Related projects ⓘ
Alternatives and complementary repositories for memo
- Probabilistic programming with HuggingFace language models☆89Updated this week
- ☆53Updated 2 years ago
- A scalable abstraction learning library☆74Updated 11 months ago
- Get language models to generate responses in a specific format reliably. Open source implementation of Synchromesh: Reliable code generat…☆24Updated 8 months ago
- A programming language for formal/informal computation.☆41Updated 5 months ago
- A Machine-to-Machine Interaction System for Lean 4.☆16Updated last week
- An environment for learning formal mathematical reasoning from scratch☆53Updated 3 months ago
- a categorical deep learning compiler☆108Updated 6 months ago
- Formalizing stochastic doubly-efficient debate☆93Updated last month
- LLMs + Lean, on your laptop or in the cloud☆125Updated last month
- ☆60Updated last month
- Probabilistic programming system for fast and exact symbolic inference☆76Updated 4 months ago
- LLM verified with Monte Carlo Tree Search☆251Updated 2 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆56Updated 3 months ago
- REBUS: A Robust Evaluation Benchmark of Understanding Symbols☆12Updated 3 months ago
- A domain-specific probabilistic programming language for modeling and inference with language models☆112Updated last year
- ☆39Updated last month
- Python bindings for the egg-smol rust library☆65Updated this week
- ☆43Updated last year
- ☆24Updated last year
- Template for blueprint-driven formalization projects in Lean.☆30Updated last week
- On efficient computation in active inference☆16Updated 5 months ago
- LILO: Library Induction with Language Observations☆78Updated 2 months ago
- ☆23Updated this week
- Lightweight Prolog-like system designed to smoothly interoperate with deep learning tools☆23Updated 5 months ago
- Benchmark for undergraduate-level formal mathematics☆94Updated last month
- Harmonic Datasets☆32Updated 4 months ago
- program synthesis with neuro-symbolic differentiable interpreters☆10Updated 10 months ago
- Exact inference for discrete probabilistic programs. (Research code, more documentation and ergonomics to come)☆80Updated last year
- Losslessly encode text natively with arithmetic coding and HuggingFace Transformers☆71Updated 3 months ago