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.

Negative-gradient pseudo-residuals for a finite empirical loss

Definition

Let N≥1, let (xi,yi)i=1N be a finite sample with xi∈X and yi∈Y, let f:X→R be a score function, and let ℓ:Y×R→R be finite-valued. Assume that for each i, the one-variable function t↦ℓ(yi,t) is differentiable at zi=f(xi). For a score vector z=(z1,…,zN), define the empirical score loss Φ(z)=∑i=1Nℓ(yi,zi). The pseudo-residual at observation i for f is

ri(f)=−ddtℓ(yi,t)∣t=f(xi).

The sample-score gradient, when its coordinate partial derivatives exist, is the vector ∇Φ(z)=(∂z1Φ(z),…,∂zNΦ(z)). The sample pseudo-residual vector is (r1(f),…,rN(f)); 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