Correct orchestration of Federated Learning generic algorithms: formalisation and verification in CSP.
Ivan ProkicSilvia GhilezanSimona KasterovicMiroslav PopovicMarko PopovicIvan KastelanPublished in: CoRR (2023)
Keyphrases
- learning algorithm
- learning process
- learning tasks
- learning systems
- reinforcement learning
- orders of magnitude
- computationally efficient
- supervised learning
- optimization problems
- online learning
- knowledge acquisition
- noise tolerant
- formal analysis
- learning models
- significant improvement
- business processes
- constraint satisfaction problems
- machine learning algorithms
- prior knowledge
- lower bound
- constraint satisfaction
- data structure
- learning problems
- bayesian networks
- graph theory
- decision trees
- web services