Upper Tail Estimates with Combinatorial Proofs.

Jan Hazla Thomas Holenstein

Published in: STACS (2015)

Keyphrases

theorem prover
joint estimation
formal proof
extreme value theory
real time
data sets
neural network
learning algorithm
markov chain
confidence intervals
natural deduction
formal proofs
simultaneously estimating