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
- 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
- ☆23Updated 2 years ago
- program synthesis with neuro-symbolic differentiable interpreters☆12Updated last year
- Funn: Functional Neural Networks in Haskell☆25Updated 5 years ago
- Exploring connections between automatic differentiation and smooth infinitesimal analysis, or smooth algebras☆17Updated 3 years ago
- Generic API for dispatch to Pyro backends.☆16Updated 3 years ago
- Interfacing with Large Language Models (remote and local) from Lean.☆26Updated 8 months ago
- ☆14Updated last year
- ☆10Updated 5 years ago
- Control theory in Haskell: Data structures, algorithms and adapters☆80Updated 6 years ago
- Bonn Lean course for winter 24/25☆27Updated 3 months ago
- ☆25Updated 2 years ago
- A collection of useful uses of GPT (and other LLMs), organized as examples☆16Updated last year
- Code and dataset for the paper "IsarStep: a Benchmark for High-level Mathematical Reasoning"☆11Updated 4 years ago
- Haskell bindings to SymEngine☆25Updated last year
- ☆12Updated 2 years ago
- egraph <-> json☆13Updated 6 months ago
- Numerical optimization with support for stochastic optimization, mostly for my own experimental usage☆14Updated 4 years ago
- A toolkit for higher-dimensional diagram rewriting.☆17Updated 2 years ago
- ☆16Updated last year
- ☆13Updated 2 years ago
- A Lean 4 package for heavy numerical computations☆18Updated 3 years ago
- Practical Deep Learning in Haskell now!☆50Updated 2 years ago
- Tool for suggesting lemma names in Coq verification projects☆19Updated 2 years ago
- Reinforcement learning in haskell☆46Updated 4 years ago
- My PhD thesis, titled "Reasonably Programmable Syntax"☆15Updated 6 years ago
- ☆21Updated last year
- Coordinate-free hypersurfaces as Haskell types☆40Updated last year
- Some numerical optimization methods implemented in Haskell☆47Updated 4 years ago