P
Initializing...
Theorem 4.1 — improvement bound for the conservative update $\pi_{new}=(1-\alpha)\pi+\alpha\pi'$ · Prove2Me