Alphabeta Math
AlgorithmAlgorithm: 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.

Exp3 with importance-weighted loss feedback

Definition

Let k>1 and n≥1 be integers, and let η>0. Use the finite-arm bandit protocol with rewards in [0,1] and conditional sampling as specified in the bandit importance-weighted estimator definition. Initialize S^0,i=0 for each i∈[k]. For rounds t=1,…,n, perform the following operations:

  1. Set Pt,i=exp⁡(ηS^t−1,i)∑j=1kexp⁡(ηS^t−1,j),i∈[k].
  2. Draw a measurable finite-valued action At with conditional probabilities P(At=i∣Ft−1)=Pt,i, and observe only Xt=xt,At.
  3. Form the loss estimates Y^t,i=1{At=i}(1−Xt)/Pt,i and reward estimates X^t,i=1−Y^t,i for every i∈[k].
  4. Update S^t,i=S^t−1,i+X^t,i for every i∈[k].

The output is (Pt,At,Xt,X^t,Y^t)t=1n and S^n. These operations use exact real arithmetic. The procedure assumes a probability space carrying the stated measurable draws; it makes no probability-space construction claim. Normalizing the weights exp⁡(ηS^t−1,i) is the exponential-weights step used by Hedge.

Definition references

Bandit importance-weighted estimator: the finite-arm reward protocol and loss/reward estimate definitions used at each round.

Hedge: initialize equal weights, normalize exponentials, draw an action, and update after feedback.

The real exponential function and the number e by a power series: the real exponential used in the unnormalized weights.

The exponential is positive and satisfies exp⁡(−x)=1/exp⁡(x): every exponential weight is positive.

Random elements and real random variables: each sampled arm is a measurable finite-valued random element.

Depends on

Used by

Dependency tree · two levels

21 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