Five Proofs of Chernoff's Bound with Applications.

Wolfgang Mulzer

Published in: CoRR (2018)

Keyphrases

upper bound
lower bound
theorem prover
worst case
error bounds
artificial intelligence
pac learning
genetic algorithm
pattern recognition
learning problems
theorem proving
decision procedures
linear dimensionality reduction
cut elimination
formal proof
automated theorem provers