Alphabeta Math
DefinitionDefinition: Literature-sourcedProof: Not applicablePipeline-generatedjudge pass (gpt-6-luna)
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.

Cost-complexity criteria for subtrees

Definition

Let T0 be a fixed finite binary tree grown on the sample from an empirical decision tree. A subtree T⊆T0 is obtained by collapsing zero or more internal nodes and all their descendants to leaves. For each leaf m of T, let Nm be its sample count and let Qm(T) be its regression squared-error impurity or its chosen classification impurity, computed as in the empirical decision-tree definition. Define the total training impurity R(T)=∑m∈leaves(T)NmQm(T), the terminal-node count ∣T∣, and for α≥0 the cost-complexity criterion Cα(T)=R(T)+α∣T∣.

For a current nonterminal node t, let It be its sample set and let Tt be its current descendant subtree. Let R(t)=NtQt be the training impurity if t is collapsed to a leaf, using the same response or class rule as for a leaf; let R(Tt) be the sum of the impurities of the current descendant leaves. Define the weakest-link quotient g(t)=[R(t)−R(Tt)]/(∣Tt∣−1). The denominator is the number of leaves removed by collapsing t. This definition makes no claim that a weakest-link sequence globally minimizes Cα for every α or that validation selection guarantees test-risk performance.

Remark

Choosing α by validation or cross-validation is a data-selection procedure; by itself, that choice does not guarantee test-risk performance.

Depends on

Used by

Dependency tree · one level

1 result within one dependency step 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