Verifying learning-augmented systems.
Tomer EliyahuYafim KazakGuy KatzMichael SchapiraPublished in: SIGCOMM (2021)
Keyphrases
- learning systems
- learning algorithm
- learning process
- online learning
- machine learning
- learning scheme
- management system
- supervised learning
- knowledge acquisition
- intelligent systems
- learning tasks
- positive examples
- real time
- learning community
- learning analytics
- inductive learning
- mobile learning
- reinforcement learning
- neural network