Tight typings and split bounds.
Beniamino AccattoliStéphane Graham-LengrandDelia KesnerPublished in: Proc. ACM Program. Lang. (2018)
Keyphrases
- lower bound
- upper bound
- worst case
- generalization error bounds
- lower and upper bounds
- upper and lower bounds
- np hard
- tight bounds
- average case
- active learning
- worst case bounds
- neural network
- error bounds
- monte carlo
- sample size
- mobile robot
- evolutionary algorithm
- computational complexity
- search algorithm
- machine learning