VIEW THIS AS

Auto mode follows the Route Engine until you choose a viewpoint.

YOU ARE HERE

ROUTE CHECK

CONNECTED TO

WHAT NEXT

Use the canonical route for this room, or HELP if you are unsure.

How AI Works | Jackknife+ Prediction Intervals — Leave-One-Out Fits, Residuals and Coverage

Did you know? You can build a regression prediction interval by training a model repeatedly, leaving out one observation at a time, and pairing each omitted observation’s prediction error with how that same model predicts the next case. Jackknife+ uses those paired values to form an interval that reflects both residual errors and the model’s sensitivity to its training sample. This is different from simply adding one average error band around a final point prediction.

The method has meaningful finite-sample marginal coverage results when observations are exchangeable and the fitting algorithm treats them symmetrically. The broad original theorem guarantees at least one-minus-two-alpha coverage, not necessarily the nominal one-minus-alpha for every imaginable learner. Practical stability can improve behaviour, but the mathematics does not guarantee coverage for each individual, group or changing future population.

This guide explains the actual construction, solves example intervals with units and explicit denominators, tests the assumptions, separates jackknife+ from other conformal methods, and shows what changes when a lesson-duration forecasting task moves to a different environment. Every numerical example is invented to teach the arithmetic; no model training or external benchmark is claimed.

Contents

Why a single best prediction is not a dependable plan

Suppose a model predicts that a class will need ninety minutes. A single point prediction gives a centre, not the spread of possible outcomes. A lesson can take longer because prerequisites are missing, or shorter because the class has already mastered the topic. Someone planning staffing or transport needs to understand that variation rather than pretending ninety is a certainty.

A prediction interval expresses a range intended to contain a specified share of future response values under its assumptions. It is not a guaranteed minimum and maximum. Even a valid interval can miss a particular future duration. Readers should distinguish predictive intervals, which concern new observations, from confidence intervals for a model coefficient, which concern an estimated parameter.

Flexible machine-learning methods can fit training observations extremely well. Using their in-sample residuals to build uncertainty bounds can produce bands that are far too narrow. Some models virtually memorise the training set; errors measured on those same examples do not represent the errors they make on new cases.

Jackknife+ makes use of leave-one-out residuals: each example is predicted by a model that did not train on that example. It then combines those errors with new-point predictions from the corresponding models. The resulting candidates incorporate a form of fitting variability ignored by simpler residual bands.

Good uncertainty engineering starts by naming the target response, units, acceptable failure rate, resource budget and expected future population. A statistically elegant interval for the wrong response variable or an obsolete user population is not a useful decision aid.

Exactly how leave-one-out models become an interval

Let a dataset contain n training observations (x_i,y_i). For each index i, fit a model f_-i on all observations except the ith one. Evaluate the model on the omitted input x_i and calculate absolute residual r_i=|y_i−f_-i(x_i)|. Each residual must be out of sample relative to the corresponding fitted model.

Now evaluate every f_-i at the new feature vector x*. The ith lower candidate is f_-i(x*)−r_i and its upper candidate is f_-i(x*)+r_i. These two values belong together because their predicted centre and residual come from the same leave-one-out fit. Shuffling residuals across models changes the procedure.

Sort the n lower candidates and n upper candidates separately. Choose endpoints using the exact finite-sample quantile convention for jackknife+, including the n+1 rank correction and appropriate handling of extreme ranks. A generic interpolated percentile function need not implement the mathematical definition and may invalidate claims about coverage.

The direct implementation uses n model fits. For n=1,000 training examples, it could require 1,000 refits unless specialised shortcuts or approximations are available. The method is not guaranteed to be computationally cheap. K-fold variants use fewer model fits but should be identified by their correct names and corresponding guarantees.

The output is a prediction interval for a future response, not a list of independently running ensemble members. One cannot simply average all model predictions and assume that the resulting number has the same uncertainty guarantee. The pairing and order-statistic operations are essential.

The original jackknife+ paper and its central distinction

Barber, Candès, Ramdas and Tibshirani introduced jackknife+ in the paper Predictive inference with the jackknife+, later published in the Annals of Statistics in 2021. It addresses a limitation of the conventional jackknife interval, which commonly centres an error band at the final full-data prediction while using left-out residuals to choose its width.

The new-point prediction from a leave-one-out fit may differ from the full-data model’s prediction. That variability matters when the learning algorithm is sensitive to individual records. Jackknife+ includes it by constructing each candidate endpoint around f_-i(x*) rather than all candidates around one full-model centre.

The authors prove finite-sample marginal coverage properties under exchangeability and a symmetric learning algorithm. They also discuss behaviour under algorithmic stability and develop cross-validation variants. The original result is not an unconditional theorem for any data stream and any software pipeline.

Read the peer-reviewed paper using the Annals of Statistics DOI or the author-hosted preprint. It is important to distinguish the published assumptions from a marketing summary promising nominal coverage for every customer subgroup regardless of distribution shift.

The paper also demonstrates that the ordinary jackknife can have arbitrarily poor coverage in some constructions, while jackknife+ improves its general guarantee. This does not mean the ordinary approach always performs poorly: sufficiently stable fitting can make their empirical performance similar. The proper lesson is to identify the method actually used.

Exchangeability is an assumption about data, not a checkbox

Exchangeability means the joint distribution of the training observations and future observation is invariant under rearranging their order. Independent identically distributed samples provide a familiar example, but the formal property concerns the full joint distribution. It is not created by shuffling row IDs after data collection.

Suppose one student generates repeated observations across a school term. The earlier lessons influence later ones and the topic sequence may become progressively harder. Those records may not behave like exchangeable draws from an unchanging population. A naive row split can give misleadingly optimistic accuracy and interval coverage.

Similarly, observations from two different years may come from changing curricula or teaching practices. Fitting every leave-one-out model correctly does not restore a guarantee if the new population no longer matches the mathematical assumptions. Model validity depends on the environment as well as the code.

The fitting algorithm must also handle training points symmetrically for the general result. A pipeline that applies different rules to records solely because they occupy an earlier file row may violate that requirement. Any tuning and preprocessing that uses supposedly omitted outcomes can also undermine the intended leave-one-out exclusion.

A responsible report states the plausible sampling model, the target deployment context and where dependence or drift may break exchangeability. When those conditions are doubtful, measure realistic future-period performance rather than asserting that a theorem has eliminated uncertainty.

What 1−2α means compared with the nominal interval level

Set the miscoverage parameter alpha to 0.10. A nominal level of one-minus-alpha would be 0.90, or 90% coverage. The broad jackknife+ theorem in the original paper guarantees a lower bound of one-minus-two-alpha, which is 1−0.20=0.80, or 80%, under its stated conditions. The distinction between a nominal goal and a proven general bound must remain visible.

For alpha=0.05, the nominal level is 95%, while the corresponding broad lower bound is 90%. This does not mean all jackknife+ implementations will achieve only 90% in practice. Under suitable algorithmic stability, coverage can be close to nominal. The issue is what can be asserted without those additional assumptions.

Coverage is marginal: it averages over the stated joint process of training data and a new observation. It does not imply that every value of x receives the same conditional coverage, or that each individual interval is guaranteed to cover its particular outcome.

Nor is empirical coverage automatically equal to the mathematical bound. On a sample of one hundred future cases, observed coverage may be higher or lower because of sampling variation, violated assumptions, selection and model behaviour. A responsible analysis reports the numerator and denominator and does not reinterpret one realised sample as a universal constant.

The most useful communication has three numbers when relevant: the chosen alpha, the guarantee the theorem actually supports under explicit conditions, and independently observed coverage on the population the system expects to serve. Combining them into one vague ‘confidence’ value conceals important uncertainty.

Worked five-model example with fully checked interval endpoints

Imagine a fictional prediction task measured in minutes. Five leave-one-out models predict a new task’s duration as 10, 12, 11, 13 and 9 minutes. Their respective absolute residuals on the omitted training observations are 1, 2, 1, 3 and 2 minutes. No model was actually trained; these numbers are chosen to show the mechanics.

The lower candidates are 10−1=9, 12−2=10, 11−1=10, 13−3=10 and 9−2=7 minutes. Sorted ascending, they are [7,9,10,10,10]. The upper candidates are 10+1=11, 12+2=14, 11+1=12, 13+3=16 and 9+2=11 minutes. Their sorted list is [11,11,12,14,16].

For an intentionally coarse illustrative alpha=1/3 and n=5, the augmented rank positions (n+1)alpha=2 and (n+1)(1−alpha)=4 are integers. Using the corresponding second lower and fourth upper order statistics gives a demonstration interval of [9,14] minutes. The alpha choice is for clean arithmetic, not a practical recommendation; verify exact endpoint conventions in any implementation.

Notice that a different residual paired with the fourth model’s thirteen-minute prediction would alter its candidate endpoints. Sorting before correct pairing, or reporting a prediction-mean-plus-average-error band, would not reproduce this construction. A small test harness should check this numerical example precisely.

Five invented observations do not establish empirical coverage and the general one-minus-two-alpha bound with alpha=1/3 is weak. The pedagogical value is recognising the pairing, sorting and rank correction. Actual deployments require sufficient evidence about future outcomes and costs.

Small samples, integer ranks and fragile-looking precision

With five training records, a single extreme residual can have a large effect on one interval endpoint. That is not automatically a mathematical defect. It reflects the limited information available about the distribution of future errors and the instability of a quantile chosen from only a few values.

The theoretical procedure uses specific order statistics that account for the augmented sample size. A generic quantile function may interpolate between adjacent observations, whereas the paper’s definition can require a particular integer rank and unbounded endpoints in boundary cases. A careless switch of conventions can change a method’s actual coverage.

Check ties and extreme ranks before scaling up. If several lower candidates are equal, the chosen order statistic may still be well defined. But code that assumes every value is unique can make a hidden mistake. Use small deterministic test vectors and inspect the exact returned endpoints.

An interval’s width is not by itself a proof of success. A range from zero to a million minutes may contain every plausible lesson duration but offer no scheduling value. A narrower range may be useful yet fail to cover enough outcomes. Both coverage and practical informativeness belong in the evaluation.

Small datasets also amplify the importance of model choice. A high-capacity learner may behave differently when one case is omitted. The leave-one-out predictions at a new point can vary substantially. Jackknife+ includes this variation in its candidate endpoints instead of assuming the final full-sample predictor is stable.

Why the residual must stay attached to its own model

Suppose two of the leave-one-out models predict twenty and twenty-eight minutes for a new case. Their left-out residuals are two and one minutes respectively. The first contributes the candidate interval [18,22] and the second contributes [27,29]. Swapping residuals would produce [19,21] and [26,30]—different inputs to the quantile construction.

The arithmetic shows why an implementation must retain the omitted record ID along with its fitted model, its residual and its prediction at the new point. Parallel jobs can finish in arbitrary order; the order of completion should never determine which residual is paired with which prediction.

Store a structured record for every omitted index, then calculate both endpoint values from that record before sorting the combined lists. Sorting residuals and predictions independently before pairing is a tempting optimisation that changes the algorithm. It should fail an appropriate unit test.

Input preprocessing also belongs to the indexed fit. If a scaler or imputer is trained after excluding observation i, the predictions on x_i and x* must use that same fitted preprocessing state. Combining a residual from one scaler with a prediction transformed by a different scaler is another subtle mismatch.

These checks are not optional cosmetic details. Jackknife+ obtains its mathematical properties from a particular symmetric construction. A superficially similar numerical band from mismatched ingredients is a different algorithm with potentially different behaviour.

Why full leave-one-out fitting can be expensive

A straightforward implementation fits n models for n observations. If a hypothetical regression fit takes two seconds and n=1,000, sequential fitting alone consumes about 2,000 seconds, equal to thirty-three minutes and twenty seconds. This example assumes the fit time is constant and ignores overhead; it is a calculation, not an observed benchmark.

If n=10,000 and a deep network takes ten minutes to fit, naive sequential refitting would take 100,000 minutes, approximately sixty-nine days and ten and two-thirds hours. Parallel workers and algorithm-specific shortcuts can change the wall-clock time, but the scale motivates carefully chosen alternatives.

Some linear models admit analytic leave-one-out residual calculations, and some pipelines support incremental updates. More general learners may need explicit refitting. A performance claim should name the actual model, implementation, data size, hardware and numerical precision.

CV+ and related fold-based methods reduce the number of fits by holding out groups rather than individual observations. That may make the computation practical while retaining separate theoretical results under relevant assumptions. It would be inaccurate to call a ten-fold model sequence ten thousand distinct leave-one-out fits.

Resource decisions should compare the cost of better uncertainty estimates with their decision value. A method that improves planning but finishes after the planned lesson begins may be unsuitable. An alternative with documented, narrower guarantees may be the responsible engineering choice.

How jackknife+ differs from other conformal intervals

Split conformal regression fits a model on one portion of the data and uses a separate calibration portion to estimate residual quantiles. Under exchangeability and the corresponding finite-sample procedure, it can offer marginal coverage at relatively low computational cost. Its trade-off is that some observations are reserved for calibration instead of model fitting.

Jackknife+ uses leave-one-out fitting to let every training observation be a residual-evaluation case, pairing each residual with the associated model’s prediction at the new input. That changes both computation and the mathematical analysis. It is not automatically more accurate or narrower for every dataset.

Conformalized quantile regression builds on conditional quantile predictions and then applies a calibration correction. Its interval width can adapt to varying estimated noise. The existing Conformalized Quantile Regression guide explains that distinct mechanism.

Mondrian conformal prediction partitions or conditions calibration so that coverage can be studied for specified groups, with important limitations when groups are small. The verified Mondrian Conformal Prediction guide covers that separate need. Ordinary marginal jackknife+ coverage should not be silently sold as groupwise validity.

Choose a method based on target outcome, sample size, credible assumptions, available compute, distribution shift and error costs. A user benefits more from a simpler honestly evaluated interval than a complex one with misunderstood conditions.

Empirical coverage requires exact denominators and relevant populations

Consider two hundred fictional future lesson sessions, each associated with one stored predictive interval. If the actual duration lies inside its interval for 182 sessions, empirical coverage equals 182/200=0.91, or 91%. The noncovered count is 18/200=9%. The numerator counts outcomes within their own intervals, not model predictions that happened to be near an average.

This single observed proportion is not the mathematical theorem. It may vary because of sampling noise, correlations, dataset selection or assumption failures. If many sessions come from the same tutor or class, two hundred rows may represent far fewer independent educational contexts.

Suppose 180 are common lessons, and 176 of those are covered, while only six of twenty advanced lessons are covered. Aggregate coverage remains (176+6)/(180+20)=182/200=91%. But the advanced group achieves just 6/20=30% coverage. The aggregate headline conceals a serious failure for an important minority of users.

Measure width alongside coverage. A system predicting lesson durations in minutes should report widths in minutes. If an interval expands to twelve hours for a ninety-minute class, it may have poor planning utility despite high nominal coverage. Examine the distribution of widths and which examples produce extreme intervals.

Report the period and conditions of evaluation. A future timetable, revised syllabus or changed student population can violate the exchangeability premise. An interval that performed well last term is evidence about last term, not proof that the next term inherits its coverage.

How preprocessing and hyperparameter tuning can leak omitted information

Every leave-one-out residual is intended to be generated by a fit that excludes the target observation. The exclusion must hold for all supervised preprocessing, not merely the final model’s fit command. If a target encoding map or feature selection uses all labels before leave-one-out fitting, the omitted target may still influence its own predicted value.

Hyperparameter selection must also be considered. If a complex pipeline selects settings after inspecting the entire dataset including every response, then applies nominal leave-one-out refits only at the final stage, it may fail to match the theoretical symmetrical procedure the author claims to use.

Grouping matters. Ten nearly identical sessions from one student may remain in the training sample after one session is left out. That may be appropriate if the future target is another session for the same student, but misleading if the business question concerns a completely new learner. Define the prediction population first.

Temporal order matters too. A model estimating next month’s need for tutoring cannot legitimately use realised lesson durations from two months later as training inputs. Leave-one-out exclusion of just the target row does not remove such future information. A time-oriented evaluation may require a different validity analysis.

A verified system records input lineage, excluded observation IDs, fitted preprocessing and model configurations. When a surprising interval appears, those records help distinguish genuine model uncertainty from a broken exclusion boundary.

Failure modes that invalidate a confident interval claim

Failure one is calculating ordinary in-sample residuals and labelling them jackknife+. Fix it by producing genuine leave-one-out residuals or accurately naming a different method. Failure two is pairing a residual with the wrong model’s test prediction. Use stable observation identifiers from training through interval assembly.

Failure three is interpolating quantiles without the correct finite-sample rank convention while asserting the original theorem. Test the precise order-statistic rule and boundary values. Failure four is assuming marginal coverage equals conditional coverage for every student or subject. Examine relevant subgroups and state the narrower guarantee.

Failure five is quoting one-minus-alpha as an unconditional jackknife+ lower bound despite the general one-minus-two-alpha theorem. Explain nominal targets, theoretical bounds and observed results separately. Failure six is ignoring temporal drift or a nonsymmetric fitting pipeline. Check the assumptions that support the mathematical analysis.

Failure seven is optimising a hyperparameter repeatedly against the final test set, then presenting that test as independent. Use a declared model-selection procedure and untouched confirmation data. Failure eight is reporting a fold-based shortcut as full leave-one-out without identifying its actual implementation and theorem.

Failure nine is pursuing the smallest interval width irrespective of missed outcomes. Report coverage and width together. Failure ten is claiming an automated interval removes the need for human judgement in consequential decisions. Uncertainty information informs authorised choices; it does not replace their safety constraints.

Changed-context transfer problem: a school timetable meets a new term

A tutor develops a jackknife+ duration model from past revision lessons held on ordinary weekday afternoons. For every historical lesson, the model excludes that observation, predicts its duration and stores the absolute error in minutes. For a new lesson, it evaluates the corresponding leave-one-out model and combines the prediction with that same omitted lesson’s residual. These operations are still legitimate arithmetic when a new term begins. Yet whether their coverage theorem applies depends on how the new lesson relates to the historical sample, not on the correctness of the code alone.

Suppose the original data concern 150 lessons whose durations mostly reflect 50-minute school periods. The next term introduces a required 90-minute combined assessment and a changed learner cohort. The new lesson is not plausibly exchangeable with the past lessons simply because every record has columns named date, topic and duration. The old model can produce a numerical interval, but calling the original marginal coverage theorem directly applicable would be unjustified. The correct repair is to study the population change, collect relevant observations under a proper evaluation protocol and avoid promising coverage not supported by the sample design.

A simplified arithmetic check sharpens the point. Assume a fictional candidate lower list in minutes is [42,45,46,47,50] and the upper list is [55,56,58,60,62]. The sorted lower values and upper values are inputs to the prescribed order-statistic rule; they are not five independent complete intervals to be averaged. For n=5 and alpha=0.10, finite-sample rank corrections can require an infinite endpoint under the formal convention. It would be wrong to choose 42 and 62 as though they were automatically an exact 90% interval with the original theorem.

Now change only one condition: keep the same lesson distribution but introduce repeated measurements of the same pupil under tightly linked conditions. The mathematics of leave-one-out prediction remains implementable, yet treating all repeated rows as an exchangeable sequence of independent lesson cases may still fail. Inspect the actual joint sampling process. A group-aware design or different inference strategy may be needed, and its own guarantee must be stated rather than borrowed from another method.

The transfer answer is therefore not to make the interval ever wider until it looks safe. It is to identify what changed in the data-generating process, define the prediction target with its units, verify whether the theorem’s sampling and learner-symmetry assumptions remain credible, and measure coverage against a representative prospective sequence. A numerical interval without such evidence is a descriptive model output, not a guarantee that a future learner’s time lies inside it.

When jackknife+ is useful—and when the refitting burden is not worth it

Jackknife+ is attractive when a regression problem needs an interval for a future response and the modelling team can afford repeated leave-one-out fits or use a rigorously specified related method. Its distinctive value is pairing the model’s prediction at a new x with the error obtained for the omitted historical observation. That pairing captures something a constant-width band around a single full-data prediction can ignore: sensitivity of predictions to which observations trained the model.

The price can be substantial. With n=2,000 training observations, ordinary full jackknife+ calls for 2,000 separate leave-one-out fits unless a particular learner has a verified computational shortcut. If one fit takes three seconds under the actual environment, the sequential fitting time alone is about 6,000 seconds, or 100 minutes, without overhead, parameter selection, preprocessing or predictions at new inputs. These are hypothetical rates, not a benchmark of an actual library. The cost calculation does not justify treating a one-model residual method as jackknife+.

CV+ is a related idea that uses a model trained with a whole fold omitted, not a distinct leave-one-out fit for every row. For K=10 folds, it can involve ten fitted models rather than n fits, while each historical residual remains tied to the model trained without its fold. The user-facing article should name this precisely as CV+, whose finite-sample results and endpoint conventions must be checked independently. Saving time does not make two algorithms identical.

Split conformal is another practical choice. It reserves calibration observations, gets nonconformity scores from an already fitted model and applies the correct finite-sample quantile. This can be relatively cheap and has different marginal coverage properties, but reduces the number of observations available for fitting the primary predictor. The cost and coverage trade-off belongs in the decision, not hidden behind the broad word conformal.

A model reviewer should compare coverage, interval width, compute time and target-group behaviour on data matching the deployment task. A narrower observed interval is not automatically better if it misses more consequential outcomes. In a planning application, a slightly wider reliable estimate may be operationally better than a polished but misleading band.

Implementation audit: keeping the omitted record truly omitted

A trustworthy implementation needs a stable identifier for each training example and an explicit exclusion boundary. The ith leave-one-out model must be built without using the ith response in supervised feature selection, target encoding, calibration or tuning that leaks across the fold. Merely excluding the ith row from the last estimator call may not be enough if upstream preprocessing was fitted on all the labels first. Record precisely what was fitted inside every fold.

The returned objects should link four things for each i: the omitted observation identifier, its observed y_i with units, the corresponding leave-one-out model identifier and the prediction of that exact model at both x_i and the new x. A data frame sorted between steps can silently pair a residual from one model with a new-point prediction from another. The resulting interval may still look plausible; that appearance is not evidence that the jackknife+ theorem applies.

To test alignment, create a toy dataset with known identifiers rather than relying only on vector position. Shuffle the storage order before assembling the interval and check that results remain unchanged when identifiers preserve the pairing. Then deliberately scramble the mapping and verify that a diagnostic fails. Such a negative test is often more informative than confirming one happy-path output.

Quantile endpoints deserve similar scrutiny. The finite-sample correction involves n+1 ranks, including conventions for values beyond the available n candidates. Ordinary interpolation routines may return finite endpoints where the formal construction calls for infinite bounds in a small-sample regime. Distinguish the exact theorem-backed procedure from a numerical shortcut and label any modification honestly.

Finally, save both the inference procedure and its audit record. If a later engineer reloads the primary fitted model but not the n leave-one-out models, that artifact cannot necessarily reconstruct full jackknife+ intervals for arbitrary new inputs. Packaging and serving costs therefore belong in the architecture design. An actual deployment needs a reproducible method for generating new-point predictions using the correct family of omitted-data fits.

Reporting marginal reliability without misleading an individual learner

Marginal coverage is a probability statement averaged over future observations drawn under the theorem’s sampling assumptions. It does not guarantee the intended percentage of correct intervals for every student, lesson type or training condition separately. A group with unusual schedules or unmet prerequisites may experience worse interval performance than the aggregate. Such differences require explicit monitoring rather than denial.

Suppose a fictional system checks 300 later lessons and their own previously generated intervals. If 276 observed durations fall inside, the empirical coverage is 276/300=92%. If 24 fall outside, the empirical miss proportion is 24/300=8%. These two numbers are complementary for this test, but neither by itself proves that the original finite-sample assumptions held or that every subgroup receives 92% coverage.

Now suppose the 300 lessons include 240 ordinary sessions and 60 sessions for learners needing extra language support. Of the ordinary sessions, 228 intervals contain the outcome; among the latter group, only 48 do. Ordinary-session coverage is 228/240=95%, and the other group’s is 48/60=80%. The aggregate is (228+48)/300=276/300=92%, which hides a substantial difference. This is a constructed diagnostic example, not evidence of such a disparity at a real school.

An institution must decide how to respond to the measured discrepancy. Options include collecting representative data, improving the conditional feature representation, using appropriately justified group-aware calibration or restricting uses until the method is sufficiently reliable. A guarantee about average coverage does not authorise discriminatory allocation of resources. Nor does it imply individual certainty or entitlement to a particular duration.

Explain coverage alongside interval width. An interval spanning zero to ten thousand minutes may cover many real lesson durations but be nearly useless for practical scheduling. Conversely, a very short interval can appear precise while missing often. Report a relevant width summary, the distribution of misses and the actual decision the user must make.

Frequently asked questions

What is jackknife+? It is a construction for regression prediction intervals that pairs each leave-one-out model’s prediction at a new input with the residual from the observation that model omitted, then takes appropriate order statistics over the paired lower and upper candidates.

Is jackknife+ the same as an ordinary jackknife residual band? No. The standard residual band may centre a width at a full-model prediction. Jackknife+ incorporates the omitted-data model’s own prediction at the new point, accounting for fit variation relevant to its guarantee.

Does alpha=0.10 mean every jackknife+ interval has a universal 90% coverage guarantee? No. The broad distribution-free theorem gives a lower marginal bound of 1−2alpha under its stated assumptions, equivalent to 80% for alpha=0.10. Better results can hold under additional stability assumptions or in particular observed datasets.

Is exchangeability the same as shuffling records? No. It is a property of the joint data-generating distribution. Rearranging recorded rows does not remove repeated-subject dependence, chronological shift or differences between training and future populations.

Why might an endpoint be infinite with very few observations? The finite-sample rank correction can request an order statistic outside the available candidate list. The formal procedure handles the boundary conservatively instead of inventing a finite exact-coverage bound.

Can I use a cheap K-fold approximation and still call it full leave-one-out jackknife+? No. Use the accurate name CV+ or the exact method implemented, and assess the corresponding theorem and cost.

Does a 90% observed test-set coverage number mean each pupil has 90% conditional coverage? No. It is one aggregate ratio with sampling uncertainty; subgroup reliability and individual conditions require further evidence.

Is this a confidence interval for a mean or a parameter? Not primarily. Jackknife+ provides a predictive interval intended for a future response, which is conceptually different from uncertainty in a fitted coefficient or population mean.

What must be saved to predict later? The required leave-one-out or corresponding fold models, preprocessing, residual associations, hyperparameter and data-lineage records, and the quantile convention used by the method.

Can jackknife+ repair a model trained on biased or irrelevant features? No. It attaches uncertainty under assumptions to a prediction procedure; it cannot automatically correct a harmful objective, unrepresentative data or changes in the future population.

Reader pathways and original primary sources

If you are a student, reproduce one leave-one-out residual and its matching new-point candidate by hand. Verify that an omitted record’s y-value was not used in its own fitted model. Then explain why the lower and upper lists are quantiled separately, why small-sample ranks matter and how a change in the future population limits the guarantee.

If you are an engineer, begin with a split-safe fitting pipeline and stable record identifiers, test that each leave-one-out fit excludes the intended row, and calculate endpoints with the procedure documented in the original research. Include the model-fitting cost and retained artifact sizes before promising interactive prediction intervals at scale. A correctness test that shuffles input rows while preserving IDs is particularly useful.

If you evaluate an organisation’s forecasting system, ask which observations define the unit of exchangeability, how learner groups and calendar shifts are handled, and whether the report distinguishes nominal target, theoretical lower bound and observed held-out coverage. Always demand the denominator for empirical rates and a useful width measure. A probability guarantee does not assign responsibility for the decisions taken with the interval.

Original scientific paper: Barber, Candès, Ramdas and Tibshirani, Predictive inference with the jackknife+, published in Annals of Statistics in 2021, with a full publisher record at Project Euclid. For complementary method context, see the verified eduKate article Conformalized Quantile Regression — Adaptive Intervals and the How AI Works overview.

Every arithmetic example here is explicitly fictional, and no external model training or online model-quality experiment is claimed. The method’s guarantees require the paper’s precise conditions and finite-sample rank convention. Reader familiarity with a statistical term should not be mistaken for proof that a particular deployment satisfies those conditions.

Discover more from eduKate Singapore

Subscribe now to keep reading and get access to the full archive.

Continue reading