Whether a private random source is a menu option, and which randomness notion the random-reward clause uses.
queued · open · DECISIONS.md line 203
- Whether a private random source is a menu option, and which randomness notion the random-reward clause uses. The paper's Theorem 4 uses bounded vMWC randomness relative to the class; the criterion itself does not require a random source (Theorem 5 uses one in its construction). The round's default: no random option in the minimum, T5 scored with and without it. Turns on: taste about whether adversarial-predictor problems belong to the synthesis at all, and whether "mental randomization" should be modelled as predictable.
Touches
Nothing named.
Nodes pointing at it
None.