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.
Negative-gradient pseudo-residuals for a finite empirical loss
Definition
Let , let be a finite sample with and , let be a score function, and let be finite-valued. Assume that for each , the one-variable function is differentiable at . For a score vector , define the empirical score loss . The pseudo-residual at observation for is
The sample-score gradient, when its coordinate partial derivatives exist, is the vector . The sample pseudo-residual vector is ; the word “pseudo” distinguishes these score derivatives from derivatives with respect to parameters of a restricted model.
Used by
Dependency tree · 0 levels
Nothing. This result depends on no other item in the library.
Sources
- Trevor Hastie, Robert Tibshirani, and Jerome Friedman, The Elements of Statistical Learning, 2nd ed., 12th printing (standard reference, not scraped)
- Alexey Natekin and Alois Knoll, "Gradient boosting machines, a tutorial," Frontiers in Neurorobotics 7 (2013), Article 21 (standard reference, not scraped)