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 categorical deep learning compiler☆204Updated 2 weeks ago
- List of resources for learning Category Theory☆270Updated 10 months ago
- TARDIS: Topological Algorithms for Robust DIscovery of Singularities☆43Updated 2 years ago
- Python Cellular Sheaf Library☆147Updated last month
- An experimental language for causal reasoning☆226Updated this week
- An introduction to functional programming for scalable statistical computing☆76Updated last year
- ☆14Updated last month
- ☆247Updated 3 months ago
- Formalizing stochastic doubly-efficient debate☆111Updated last year
- A Simple Statistical Distribution Library in JAX☆16Updated last year
- ☆141Updated last month
- Probabilistic programming system for fast and exact symbolic inference☆82Updated last year
- epsilon machines and transformers!☆30Updated 3 months ago
- Evaluation Framework for Probabilistic Programming Languages☆103Updated last year
- A package for defining deep learning models using categorical algebraic expressions.☆61Updated last year
- Quantify geometric intelligence in natural and artificial brains.☆51Updated 3 months ago
- Learning Universal Predictors☆79Updated last year
- LeanAgent is a novel lifelong learning framework for formal theorem proving that continuously generalizes to and improves on ever-expandi…☆37Updated 3 months ago
- Structural Time Series in JAX☆200Updated last year
- blueprint for prime number theorem and more☆193Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆307Updated 10 months ago
- Neural Graphical models are neural network based graphical models that offer richer representation, faster inference & sampling☆30Updated 2 months ago
- Implementing RASP transformer programming language https://arxiv.org/pdf/2106.06981.pdf.☆58Updated 4 years ago
- A set of jupyter notebooks for the practice of TDA with the python Gudhi library together with popular machine learning and data sciences…☆28Updated 3 months ago
- xi correlation method adapted for python☆150Updated 3 years ago
- Reconstructing shared causal drivers from noisy time series☆57Updated 11 months ago
- The matrix cookbook, proved in the Lean theorem prover☆121Updated 3 weeks ago
- Official Implementation of the ICML 2023 paper: "Neural Wave Machines: Learning Spatiotemporally Structured Representations with Locally …☆74Updated 2 years ago
- # Eigenfish Ideas by the wonderful ["Computational Discovery on Jupyter"](https://computational-discovery-on-jupyter.github.io/Computatio…☆170Updated 7 months ago
- Bayesian inference for a logistic regression model in various languages☆42Updated 2 years ago