Standalone implementation of Conformal Prediction and other distribution-free Machine Learning methods.
-
Updated
Aug 23, 2019 - Rust
#
martingales
Here are 8 public repositories matching this topic...
Calculadora Martingale para auxilio em Opções Binárias, Index e Futuros. Ronal Cutrim Analise Probabilísticas.
money bots index futures calc comodity iqoption martingales binary-options manager-system deriv traders soros ronal-cutrim
-
Updated
Aug 17, 2021 - Visual Basic .NET
WATCH: Adaptive Monitoring for AI Deployments via Weighted-Conformal Martingales
monitoring ai-safety conformal-prediction p-values martingales continuous-monitoring distribution-shifts
-
Updated
Nov 20, 2025 - Jupyter Notebook
Repository for the paper "Auditing Pay-Per-Token in Large Language Models", AISTATS'26
-
Updated
Mar 23, 2026 - Jupyter Notebook
A Formalization of Martingales using Isabelle/HOL
-
Updated
Jan 8, 2024 - Isabelle
This repository formalizes in Lean the Burkholder martingale transform inequality, including the construction of Burkholder’s majorant function and its application to sharp Lp estimates for real-valued martingales.
analysis probability mathematics proof-assistant formalization inequality martingale mathlib martingales lean4 mathematical-proof formalized-mathematics formalised-mathematics burkholder
-
Updated
May 16, 2026 - Lean
Lean 4 library for martingale inequalities, anytime-valid inference, and concentration. Apache 2.0.
-
Updated
Jun 14, 2026 - Lean
A stokhazesthai (stochastic) process, also called a random process, is one in which outcomes are uncertain (MAT 455, ISU).
markov-model markov-chain monte-carlo-simulation stochastic-differential-equations markov-chain-monte-carlo stochastic-processes poisson-process conditional-probability queueing-theory law-of-large-numbers stochastic-optimization brownian-motion stochastic-calculus martingales
-
Updated
Dec 25, 2021 - R
Add this topic to your repo
To associate your repository with the martingales topic, visit your repo's landing page and select "manage topics."