← back to the atlas

d4-conf-aaai-2026-3857 (d4-conf-aaai-2026-3857)

Answer: —

The anchor (named result in the paper)

Corollary 1 — class: other

PDF text-layer excerpt — equations and symbol order may be approximateThere exists an STTCB instance with Bernoulli rewards, where the regret of player $p_i$ is lower bounded as $\Omega(\frac{N \log T}{\Delta_{\min}^2})$.

statement extracted from the paper’s text layer; consult the paper for the exact wording

The continuous mirror question, as graded

For a market with

Packaged proof task (what the prover saw — nothing else)

(empty)

Prover output (gpt-6.1-sol / high, Bolzano prover prompt)

(empty)

Adversarial review (gpt-6.1-sol / medium, Bolzano verifier prompt)

(empty)

Tier: machine-proved, adversarially reviewed by an independent model. No human has checked this proof. Generated from pipeline artifacts by tools/atlas_build.py.