Towards Learning Infinite SMT Models (Work in Progress).
Mikolás JanotaBartosz PiotrowskiKarel ChvalovskýPublished in: SYNASC (2023)
Keyphrases
- learning process
- learning algorithm
- reinforcement learning
- accurate models
- neural network
- learning models
- learning problems
- learning tasks
- learning systems
- supervised learning
- knowledge acquisition
- unsupervised learning
- active learning
- prior knowledge
- learned models
- support vector
- online learning
- model selection
- complex systems
- background knowledge
- mobile learning
- hidden markov models
- multi task