Alphabeta Math
DefinitionDefinition: AI-adaptedProof: 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.

Pointwise squared-error risk for regression

Definition

Assume AC as used to select the regression version. Fix a statistical experiment indexed by θ, a point x, a real regression target mθ(x), and a real-valued estimator Tx of that target, meaning a measurable statistic with target space R as in Statistics and estimators. At this point, use the squared-error loss Lx(θ,a)=(a−mθ(x))2,a∈R. Its pointwise squared-error risk is the possibly infinite quantity Rx(θ,Tx)=∫(Tx(z)−mθ(x))2 Pθ(dz)∈[0,∞]. This is the deterministic-rule specialization of the risk in Loss functions and risk: the action space is R with its Borel sigma-algebra, the action is Tx(z), and the loss section is measurable because it is continuous in a. The integral is nonnegative, so it is defined without a finite-moment assumption.

Source notes

Martin, §5.1, PDF pp. 100–102; Hoff, §§4.1–4.2, PDF pp. 7–8.

Depends on

Used by

Dependency tree · two levels

14 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