The article studies prediction under some background assumptions and tests the assumptions. We use a conformal predictors framework and obtain predictions as regions. This is done by an on-line compression model that satisfies our assumptions. If the assumptions are appropriate for data, the prediction regions are automatically valid. The validity means that for successive predictions an error rate does not exceed a prefixed significance level (up to statistical fluctuation). It is important to test our assumptions to maintain the validity property; or otherwise the predictions can be misleading. We perform testing by calculating martingales. The martingales here are functions of p-values that are the output of the on-line compression model. Large values of the martingales reflect departures from the assumptions. This article extends our previous work on martingale testing and focusses on the Gauss linear assumption. The article presents experiments for the predictions and testing. We use four synthetic datasets as well as a benchmark Abalone dataset that is assumed to agree with the Gauss linear assumption.
[1]
Alexander Gammerman,et al.
Testing Exchangeability On-Line
,
2003,
ICML.
[2]
Student,et al.
THE PROBABLE ERROR OF A MEAN
,
1908
.
[3]
Jean-Luc Ville.
Étude critique de la notion de collectif
,
1939
.
[4]
Vladimir Vapnik,et al.
Statistical learning theory
,
1998
.
[5]
Alexander Gammerman,et al.
Plug-in martingales for testing exchangeability on-line
,
2012,
ICML.
[6]
W. Gasarch,et al.
The Book Review Column 1 Coverage Untyped Systems Simple Types Recursive Types Higher-order Systems General Impression 3 Organization, and Contents of the Book
,
2022
.
[7]
Carl E. Rasmussen,et al.
Warped Gaussian Processes
,
2003,
NIPS.
[8]
Alexander Gammerman,et al.
Hedging predictions in machine learning
,
2006,
ArXiv.
[9]
M. Schervish.
Theory of Statistics
,
1995
.