Standalone implementation of Conformal Prediction and other distribution-free Machine Learning methods.
-
Updated
Aug 23, 2019 - Rust
#
martingales
Here are 7 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.
-
Updated
May 2, 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
Improve this page
Add a description, image, and links to the martingales topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the martingales topic, visit your repo's landing page and select "manage topics."