New method detects changes in data streams efficiently.
problem Quickest change-point detection in data streams.
method Inductive Conformal Martingales for quickest change-point detection.
result Inductive Conformal Martingales are efficient under general conditions.
New method detects data distribution changes and retraining is advised.
problem Detecting when data distribution changes for retraining prediction algorithms.
method Exchangeable martingales and conformal prediction.
result Guaranteed validity of the method, with efficiency explored.
The paper reviews methods for testing randomness and exchangeability in sequential data.
problem Testing the randomness and exchangeability of sequential data.
method Conformal martingales for online testing of randomness and exchangeability.
result Valid and efficiency results for various conformal martingale-based procedures.
Study detects concept shift in online data using martingales.
problem Detecting concept shift in online datasets.
method Exchangeable martingales and conformal prediction techniques.
result Decomposes concept shift into detectable components.
This note introduces the method of cross-conformal prediction, which is a hybrid of the methods of inductive conformal prediction and cross-validation, and studies its validity and predictive efficiency empirically.
A new method detects distribution shifts faster than existing CTMs.
problem Detecting distribution shifts in data streams with contamination issues.
method Uses a fixed reference dataset to compare each new sample, avoiding contamination.
result Detects distribution shifts faster and more reliably than standard CTMs.
Study explores efficient data division for ICPs.
problem Efficiently dividing limited development data for ICPs.
method Experiments with training, calibration, and test data divisions.
result Allows overlap between training and calibration sets improves efficiency.
Adaptive monitoring for AI systems detects and diagnoses shifts in data distribution.
problem Continuous monitoring of AI systems to detect and address unsafe behavior.
method Weighted-conformal martingales (WCTMs) for online monitoring of AI systems.
result Improved performance over state-of-the-art baselines on real-world datasets.
A new family of conformal test martingales based on Legendre polynomials for online exchangeability testing.
problem Detecting variance, skewness, and higher-order deviations from uniformity in online data.
method A family of conformal test martingales based on shifted Legendre polynomials.
result The Variational Legendre Jumper reduces exponential scaling to linear time with minimal loss in power.
We study strict local martingales via h-transforms, a method which first appeared in Delbaen-Schachermayer. We show that strict local martingales arise whenever there is a consistent family of change of measures where the two measures are not equivalent to one another. Several old and new strict local martingales are i…
Enhanced ICM ensemble detects concept drift better with novel betting functions.
problem Addressing Concept Drift in machine learning models.
method Refined ICM approach with improved betting functions and base estimators.
result The ensemble approach outperforms previous methods on benchmark datasets.
Conformal Test Martingales can be 'blind' to significant changes in data distribution.
problem The converse of exchangeability does not hold, leading to potential blindness of CTMs.
method Explicit construction of A-cryptic change-point using bivariate Gaussian distributions. result CTMs can be perfectly cryptic to a significant change in marginal means.
Stacked conformal prediction simplifies model validation.
problem Validating stacked predictive models efficiently.
method Meta-learner at the top of a stacked ensemble for approximate marginal validity.
result The method achieves approximate marginal validity without a separate calibration sample.
Extends positive mass theorem to arbitrary dimensions using a new inductive scheme.
problem Overcoming singularities in the Schoen-Yau proof for arbitrary dimensions.
method Inductive scheme combining shielding principle, conformal blow-up, and Cheeger-Naber bound.
result Proof of positive mass theorem in arbitrary dimensions.
Study shows NCCP can replace CP for ACI in non-exchangeable data.
problem Ensuring reliable prediction under non-exchangeability.
method Demonstrates NCCP as a valid alternative to CP for ACI.
result NCCP offers computational advantages and comparable predictive efficiency.
The present paper describes a way to relate Martin boundaries on spaces of varying topology. This enables us to approach some detailed inductive analysis of the eigenfunctions of conformal Laplacians on minimal hypersurfaces near their singularities. This can directly be used resp. translated to understand the way how …
ICP provides interval predictions with high confidence coverage.
problem High-risk settings where true output must be highly probable.
method ICP is a distribution-free, model-agnostic algorithm.
result ICP outputs prediction intervals with high coverage probability.
ICP improves text infilling and POS tagging with valid confidence sets.
problem Statistical reliability of machine learning predictions.
method Inductive conformal prediction algorithms for text infilling and POS tagging.
result Valid set-valued predictions with small size for real-world applications.
New concentration inequality for U-statistics of Markov chains.
problem Proving a concentration inequality for U-statistics of order two in uniformly ergodic Markov chains.
method Inductive analysis using martingale techniques, uniform ergodicity, Nummelin splitting, and Bernstein's inequality.
result Recovery of convergence rate for U-statistics of independent random variables and canonical kernels, with improved results for dependent kernels.
The paper proposes a method for valid multi-target regression predictions.
problem Valid multi-variate predictions for multi-target regression.
method Copula functions applied to deep neural networks for inductive conformal prediction.
result The proposed method ensures efficiency and validity for multi-target regression problems.
This paper applies conformal prediction techniques to compute simultaneous prediction bands and clustering trees for functional data. These tools can be used to detect outliers and clusters. Both our prediction bands and clustering trees provide prediction sets for the underlying stochastic process with a guaranteed fi…
Paper uses SVM+ for valid prediction intervals in drug discovery datasets.
problem Valid prediction intervals in drug discovery datasets.
method LUPI paradigm, SVM+, inductive conformal predictor.
result Valid prediction intervals at specified significance levels.
Proposes feature conformal prediction for broader application in semantic feature spaces.
problem Establishing valid prediction intervals in semantic feature spaces.
method Extends conformal prediction to semantic feature spaces using deep representation learning.
result Feature conformal prediction outperforms regular conformal prediction under mild assumptions.
A well known result of Da Rios and Levi-Civita says that a closed planar curve is elastic if and only if it is stationary under the localized induction (or smoke ring) equation, where stationary means that the evolution under the localized induction equation is by rigid motions. We prove an analogous result for surface…
Improves GNN prediction sets with conformal prediction for node classification.
problem Lack of predictive uncertainty for GNN models.
method Adapted conformal prediction for graph data, weighting scores based on graph structure.
result Better calibrated and tighter prediction sets than naive conformal prediction.
A package for classification using conformal prediction methods.
problem Improving the reliability of machine learning predictions.
method Transductive and Inductive Conformal Prediction based on random forest.
result Computational efficiency and validity of predictions.
New methods improve anomaly detection with reduced false positives.
problem Effective anomaly detection with controlled error rates.
method Leave-one-out-, bootstrap-, and cross-conformal anomaly detection methods.
result Improved anomaly detection with reduced false positives.
PAC-Bayes theory improves ICP efficiency and coverage.
problem Inefficient and unreliable uncertainty estimates in deep learning models.
method PAC-Bayes theory to optimize model and score function parameters for efficient and reliable prediction sets.
result Generalization bounds on coverage and efficiency of optimized prediction sets.
Novel conformal methods test out-of-distribution data with labeled outliers.
problem Testing whether new data comes from the same distribution as a reference.
method Integrative conformal p-values re-weight standard p-values using dependent side information.
result The methods outperform standard conformal p-values in simulations and applications.
Improved bounds for proximal gradient algorithms with computational errors.
problem Analyzing convergence of proximal gradient algorithms with inaccuracies.
method Deriving new tighter deterministic and probabilistic bounds for convex composite problems.
result Probabilistic bounds are more robust and accurate for algorithm verification and performance guarantees.
Proposes a method to estimate drug sensitivity uncertainty using deep regression forests.
problem Lack of confidence intervals in deep learning models for critical tasks.
method Uses Deep Regression Forests to estimate variance and uncertainty for drug sensitivity prediction.
result Improves efficiency and coverage of uncertainty estimates for drug sensitivity predictions.
JANET improves time series prediction with adaptive uncertainty regions.
problem Time series data's lack of exchangeability and multi-step prediction challenges.
method Proposes JANET, a framework for joint adaptive prediction regions with controlled error rates.
result Demonstrates superior performance in multi-step prediction tasks across diverse datasets.
The paper presents a method to compute trusted confidence bounds for LECs in CPS.
problem Non-transparent predictions of LECs make CPS safety challenging.
method Inductive Conformal Prediction (ICP) and Triplet Network architecture.
result Efficient real-time computation of trusted confidence bounds.
Method cleans noisy training labels for biomedical data.
problem Accurately labeling biomedical data is challenging.
method Reliability-based training data cleaning with inductive conformal prediction.
result Significant enhancements in classification performance across multiple tasks.
New algorithm selects robust martingale for optimal stopping problems.
problem Optimal stopping problems in stochastic processes.
method Randomized dual martingale minimization algorithm.
result Efficiently selects Doob martingale as close as possible.
Proposes approximating computationally expensive explainability techniques using conformal regression.
problem Computational expense of score-based explainability techniques limits their applicability in time-critical contexts.
method Uses conformal prediction framework to approximate SHAP and TreeSHAP explanations.
result Significantly improves execution time and produces tight validity guarantees.
Develops a martingale expansion for stochastic volatility models.
problem Approximating marginal distributions of stochastic volatility models.
method Martingale expansion framework for continuous stochastic volatility models.
result First-order perturbation expansions for small volatility-of-volatility and fast mean-reversion models.
The paper studies martingales and super-martingales under a convex set of measures.
problem Understanding martingales and super-martingales in a convex set of equivalent measures.
method Introduced local regular super-martingales and proved necessary and sufficient conditions for their regularity.
result Generalized Doob's decomposition theorem for super-martingales under a convex set of measures.
Extends martingale Schrödinger bridge to arbitrary dimensions and characterizes it.
problem Tackles the martingale Schrödinger bridge in arbitrary dimensions.
method Identifies continuous-time counterpart and relates to variational problems.
result Continuous martingale Schrödinger bridge coincides with Föllmer martingale in irreducible case.
M-FISHER detects and adapts to streaming data shifts with statistical validity and stability.
problem Detecting and adapting to distributional shifts in streaming data.
method Constructs an exponential martingale from non-conformity scores and applies Ville's inequality for detection. Fisher-preconditioned updates for adaptation.
result Establishes M-FISHER as a principled approach for robust, anytime-valid detection and geometrically stable adaptation.
Study shows conditions for local martingales in SDEs with stochastic volatility.
problem Conditions for local martingales in stochastic differential equations with stochastic volatility.
method Examine sufficient conditions for components of SDEs to be strict local martingales or martingales.
result Components of SDEs can be strict local martingales or martingales under certain conditions.
Valid prediction sets for dynamic graphs using conformal prediction.
problem Uncertainty quantification in dynamic graph neural networks.
method Dynamic graph unfolding for input to GNNs, combined with conformal prediction.
result Valid prediction sets with minimal assumptions, even in challenging scenarios.
Geometric Bass martingales linked to Brownian motion and geometric Brownian motion.
problem Modeling continuous martingales with prescribed initial and terminal distributions.
method Developed geometric Bass martingales and established their properties.
result Explicit bijection and representation of geometric Bass martingales.
A method for making predictions with a reject option using conformal prediction.
problem Uncertainty in machine learning predictions, especially when models are unsure.
method Formalizing ML with reject option, using conformal prediction for distribution-free error guarantees.
result Theoretical guarantees on error rate for prediction sets with distribution-free validity.
Existence proved for q-Bass martingales with specific marginals.
problem Constructing martingales with prescribed marginals close to a reference measure.
method Geometric analysis of parametrized convex polygonal chains.
result Existence and uniqueness of q-Bass martingales with finitely supported initial marginals. The paper proves stability of martingale representations in a broad context.
problem Stability of martingale representations in a general framework.
method Extensive use of martingale theory and convergence properties.
result Each component of the martingale representation converges under Skorokhod topology.
Study finds optimal martingale coupling between two distributions with minimal entropy.
problem Finding the optimal martingale coupling between two distributions with minimal relative entropy.
method Solving a dual problem to find the log-density of the optimal coupling, which represents the marginal and martingale constraints.
result The log-density of the optimal coupling is given by a triplet of real functions representing the marginal and martingale constraints.
Note on failure of Martingale Wasserstein Inequality in higher dimensions.
problem Analyzing failure of Martingale Wasserstein Inequality in higher dimensions.
method Checking failure in dimension d≥2 and proving a stronger inequality in all dimensions.
result A stronger Maximal Martingale Wasserstein Inequality holds in all dimensions.