andrescorrada / IntroductionToAlgebraicEvaluationLinks
A collection of essays and code on algebraic methods to evaluate noisy judges on unlabeled test data.
☆37Updated last week
Alternatives and similar repositories for IntroductionToAlgebraicEvaluation
Users that are interested in IntroductionToAlgebraicEvaluation are comparing it to the libraries listed below
Sorting:
- A minimalistic-bootstrap to find a quantum theory of the cosmos.☆105Updated 10 months ago
- a categorical deep learning compiler☆203Updated 6 months ago
- ☆13Updated 6 months ago
- Haskell prototype to accompany the paper "ADEV: Sound Automatic Differentiation of Expected Values of Probabilistic Programs"☆64Updated last year
- Verty short course on evolutionary game theory☆178Updated 10 months ago
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- The matrix cookbook, proved in the Lean theorem prover☆116Updated 3 weeks ago
- Quantify geometric intelligence in natural and artificial brains.☆51Updated 2 months ago
- Formalizing stochastic doubly-efficient debate☆108Updated 10 months ago
- blueprint for prime number theorem and more☆181Updated last week
- ☆99Updated 9 months ago
- Official Implementation of the ICML 2023 paper: "Neural Wave Machines: Learning Spatiotemporally Structured Representations with Locally …☆73Updated 2 years ago
- ☆247Updated 2 months ago
- Utilities for probabilistic ML☆36Updated last year
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆43Updated 2 years ago
- Repo for solving arc problems with an Neural Cellular Automata☆19Updated 3 months ago
- ☆71Updated 3 years ago
- List of resources for learning Category Theory☆268Updated 9 months ago
- Code + data archive for "Modeling the Human Trajectory"☆29Updated last year
- ☆138Updated 2 weeks ago
- Python Cellular Sheaf Library☆145Updated 9 months ago
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆290Updated 8 months ago
- Categorica: a pure and applied category theory framework for the Wolfram Language☆33Updated last year
- Learning Universal Predictors☆79Updated last year
- An introduction to theorem proving in Lean for the impatient.☆19Updated 4 months ago
- Automatically exported from code.google.com/p/atlasofliegroups☆32Updated this week
- Evaluation Framework for Probabilistic Programming Languages☆101Updated last year
- A Simple Statistical Distribution Library in JAX☆16Updated last year
- An experimental language for causal reasoning☆220Updated last month
- epsilon machines and transformers!☆30Updated last month