Towards Automated Confidence Bound Provers and Searchers

My Phan, Erik Learned-Miller

In this work we lay the groundwork for automating the process of finding and proving the validity of lower confidence bounds of the mean. Our key finding is based on the observatio…