Formulation Equivalence
→
An interactive proof demonstrating the exact mathematical identity of the three prediction set criteria: the Order Statistic, the Empirical Quantile, and the Empirical Counting formulations.
Marginal vs. Conditional Coverage
→
A 1-D visual explainer analyzing the mechanics of marginal coverage guarantees and exploring why exact conditional coverage is mathematically impossible in finite samples without assumptions.
Full Conformal Prediction
→
An interactive tug-of-war visualization showing how the Full Conformal regression curve warps toward each trial y-value, with a live p-value distribution revealing the 90% prediction interval.