Contextual bandits
4- EN
Contextual bandits
/proof/contextual-bandits/index.html
- PT
Bandits contextuais
/proof/contextual-bandits/index.pt-BR.html
- EN
The video script: CMAB, A/B tests and RSI, in 30 minutes
/proof/contextual-bandits/script/index.html
- EN
Output of the video's code
/proof/contextual-bandits/script/results.html
Decisions
11. The contextual bandit is specified in Z3, not in Lean
/proof/docs/decisions/0001-z3-over-lean.html
port-audit
1port-audit: Z3 checks of chaceon
/proof/port-audit/index.html
Triangle grids for spectral wave models
1Triangle grids for spectral wave models
/proof/triangle-grids/index.html
z3-scala
1z3-scala: every Z3 check of this repository, in Scala
/proof/z3-scala/index.html
Diagrams
12The diagrams are drawn by archify and open dark. One index lists them in the repository's own words.
English
- EN
A/B test as a special case of a bandit
/proof/docs/diagrams/en/ab-test-vs-bandit.html
- EN
Contextual bandit
model and decision layers
/proof/docs/diagrams/en/bandit-architecture.html
- EN
One round of a contextual bandit
/proof/docs/diagrams/en/bandit-round.html
- EN
Steal like an artist
the bandit, from 1952 to 2026
/proof/docs/diagrams/en/bandit-timeline.html
- EN
π and you
one arm, then three
/proof/docs/diagrams/en/pi-arms.html
- EN
Recursive self-improvement
a bandit that tunes a bandit
/proof/docs/diagrams/en/rsi-loop.html
Português (BR)
- PT
Teste A/B como caso particular de bandit
/proof/docs/diagrams/pt-BR/ab-test-vs-bandit.html
- PT
Bandit contextual
camadas de modelo e de decisão
/proof/docs/diagrams/pt-BR/bandit-architecture.html
- PT
Uma rodada de um bandit contextual
/proof/docs/diagrams/pt-BR/bandit-round.html
- PT
Steal like an artist
o bandit, de 1952 a 2026
/proof/docs/diagrams/pt-BR/bandit-timeline.html
- PT
π e você
um braço, depois três
/proof/docs/diagrams/pt-BR/pi-arms.html
- PT
Automelhoria recursiva
um bandit que ajusta um bandit
/proof/docs/diagrams/pt-BR/rsi-loop.html