How it works
Three engines, one assumption
Every guarantee rests on exchangeability between your calibration data and your production traffic, never on the model being accurate. A weaker model does not break a guarantee; it makes sets larger, intervals wider, and escalations more frequent.
Engine 01
Conformal prediction
Wraps any nonconformity score — an option probability, a sample frequency, a claim-support score — in a threshold calibrated on your own labelled examples.
The output is a set of options or an interval that contains the correct answer at least 1 − α of the time, or a decision rule whose error rate is bounded.
- Guarantees
- Coverage ≥ 1 − α. Expected risk ≤ α. Risk ≤ α with probability ≥ 1 − δ. FDR ≤ q across a batch.
- Methods
- LAC, APS, RAPS, CQR, conformal risk control, RCPS, Learn-then-Test, Mondrian group-conditional calibration, conformal selection.
- Powers
- Set, Interval, Gate, Claim, Judge, Route.
Engine 02
Venn-Abers calibration
Replaces a single opaque confidence number with a probability interval [p₀, p₁], without retraining the model. Under exchangeability, Venn-Abers predictors are well calibrated.
The width of the interval shows how much the calibration data supports the estimate. Narrow and near 0 or 1 means well supported; wide means it is not, and you see that before any threshold is applied.
- Guarantees
- A calibrated probability interval [p₀, p₁].
- Methods
- Inductive Venn-Abers (IVAP), cross Venn-Abers (CVAP).
- Powers
- Belief, and the probability annotations on Set and Judge answers.
Engine 03
E-values
Anytime-valid evidence that stays honest under continuous monitoring and optional stopping. No sample size committed in advance, and no penalty for checking early or often.
The same machinery controls false discoveries across many simultaneous decisions, even when they depend on each other, and makes a small human-labelled sample go further.
- Guarantees
- False-alarm rate ≤ δ at any stopping time. FDR ≤ q under arbitrary dependence.
- Methods
- Betting-martingale e-processes, e-BH, prediction-powered inference, post-hoc α.
- Powers
- Drift and coverage monitors, label-efficient calibration, batch FDR control.