Synthesis with Asymptotic Resource Bounds.
Qinheping HuJohn CyphertLoris D'AntoniThomas W. RepsPublished in: CAV (1) (2021)
Keyphrases
- worst case
- rates of convergence
- large deviations
- finite sample
- asymptotically optimal
- upper bound
- resource allocation
- lower bound
- closed form expressions
- average case
- resource management
- lower and upper bounds
- worst case bounds
- upper and lower bounds
- uniform convergence
- database
- functional programs
- real time
- loss bounds
- neural network
- resource requirements
- regression function
- program synthesis
- worst case analysis
- machine learning
- web resources
- learning algorithm
- generalization bounds
- resource consumption
- resource sharing
- statistical learning theory
- information systems
- website
- multi class
- sample size
- resource constraints