Constructive Proofs of Concentration Bounds.
Russell ImpagliazzoValentine KabanetsPublished in: APPROX-RANDOM (2010)
Keyphrases
- interactive theorem proving
- upper bound
- worst case
- lower bound
- tight bounds
- upper and lower bounds
- rates of convergence
- average case
- lower and upper bounds
- confidence bounds
- high energy
- error bounds
- objective function
- data sets
- database
- contingency tables
- variance reduction
- artificial neural networks
- reinforcement learning