dennybritz / probability-monads
☆9Updated 2 years ago
Alternatives and similar repositories for probability-monads:
Users that are interested in probability-monads are comparing it to the libraries listed below
- program synthesis with neuro-symbolic differentiable interpreters☆13Updated last year
- ☆23Updated 2 years ago
- Higher Order Reverse Derivatives Efficiently - Automatic Differentiation library based on the paper "Provably correct, asymptotically eff…☆36Updated this week
- Modification to Coq to record intermediate proof states encountered during a proof☆7Updated 5 years ago
- ☆12Updated 2 years ago
- How to read Lean☆17Updated 2 months ago
- Funn: Functional Neural Networks in Haskell☆25Updated 6 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 9 months ago
- ☆25Updated 2 years ago
- ☆13Updated 3 years ago
- egraph <-> json☆13Updated 6 months ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- ☆14Updated 2 years ago
- Bonn Lean course for winter 24/25☆29Updated 4 months ago
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 4 years ago
- ☆40Updated 9 months ago
- A list of works and resources about double category theory, with a particular focus on applications.☆30Updated 2 years ago
- Probabilistic Programming (Scottish Programming Languages and Verification Summer School 2019)☆10Updated 5 years ago
- An obsolete python library which gathers statistics and relational information about Lean 3 libraries.☆17Updated last year
- Learning Algebraic Varieties from Samples☆24Updated last year
- DeepAlgebra☆25Updated 7 years ago
- ☆16Updated 10 months ago
- ☆16Updated last year
- Coordinate-free hypersurfaces as Haskell types☆41Updated 3 weeks ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆21Updated last year
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated last year
- ☆10Updated 5 years ago
- A verified tensor library in Lean☆22Updated 3 weeks ago
- Practical Deep Learning in Haskell now!☆51Updated 2 years ago