How statement and proof provenance work
The first chip identifies the source of the statement or construction; the second identifies the source of its local proof or verification.
- Literature-sourced: the exact statement appears in a cited source; only wording and notation differ.
- AI-adapted: a semantically identical restatement of literature-sourced material, modulo indexing, notation, and boundary cases adopted by the library.
- AI-generated: a genuinely novel statement formulated by AI, with no source for the claim itself.
These labels describe origin, not correctness: citations and verification chips remain separate evidence.
Bagged random-forest construction on a fixed finite sample
Definition
Fix training data with , features with , and one response mode: regression with , or classification with labels in a fixed ordered finite set , . Choose a finite integer depth cap , an integer tree count , and a feature count . Choosing disables feature randomization.
For every tree index , draw independent uniform indices from and put . For every possible binary node address of depth less than , draw a subset uniformly from the -element subsets of . All bootstrap-index and feature-subset draws are mutually independent across trees, index positions, and node addresses. Write ; thus the are independent with a common law conditional on the fixed data and chosen settings.
At a node with bootstrap position set , define in regression. In classification define and choose one fixed impurity, either misclassification , Gini , or entropy , with .
For tree , write the resampled rows as , so bootstrap positions remain distinct even when they contain the same original row. Build from , starting at the root with position set . At a node of depth , form the candidate midpoint thresholds between consecutive distinct observed values using the coordinates in that node's set . A candidate at coordinate and threshold partitions the current bootstrap positions into and ; only candidates with both children nonempty are used. Score each candidate by in regression or by in classification, where is the chosen impurity. Select a candidate of least score, breaking ties by coordinate index and then cut index, and recurse on its two children. If or there is no candidate, make the node a leaf. When , this is the greedy CART growth procedure on the bootstrap sample; when , the same procedure restricts each node's candidate coordinates to its sampled subset. Each regression leaf predicts its sample mean; each classification leaf predicts its most frequent class, choosing the least class index in a tie. Define by following the unique tree path for .
For regression, the finite-forest prediction is . For classification, it is the class receiving the largest number of votes, with the least class index breaking ties. For a training observation , let . Its out-of-bag prediction is formed using only trees indexed by , with the same regression average or classification vote rule; if , no out-of-bag prediction is returned. An out-of-bag prediction is a diagnostic computed from this finite forest, not an exact identity for its full-forest prediction or risk.
The data flow is shown below. The arrows mean that the same fixed and the independent randomization vector determine each tree, and the stated aggregation combines the resulting predictions; the diagram records the procedure and is not a proof of a performance claim.
Depends on
Used by
- A two-stump strength and correlation calculation Example
- A zero-margin bootstrap forest need not approach strict-margin risk Example
- An out-of-bag prediction can differ from the full finite forest Example
- Almost-sure limiting risk of an infinite random-forest classifier Theorem
- Breiman's random-forest strength–correlation error bound Theorem
- Unbiased randomized-tree residual correlation bounds forest risk Theorem
Dependency tree · two levels
3 results within two dependency steps of this one, each drawn at its shortest distance from it. An arrow runs from a result to what uses it, so the chart reads left to right and ends at this result, which carries a heavier outline. Every node is a link to that result. Click elsewhere on the chart to enlarge it.
Sources
- Leo Breiman, "Random Forests," Machine Learning 45 (2001), 5–32; full text hosted by the University of Chicago Macro Finance Research Program (standard reference, not scraped)
- Trevor Hastie, Robert Tibshirani, and Jerome Friedman, The Elements of Statistical Learning, 2nd ed., corrected 12th printing, Chapter 15 (standard reference, not scraped)