Towards Logical Specification of Statistical Machine Learning.
Yusuke KawamotoPublished in: CoRR (2019)
Keyphrases
- statistical machine learning
- statistical learning
- learning systems
- machine learning algorithms
- specification language
- statistical machine learning algorithms
- logical reasoning
- high level
- machine learning
- formal specification
- logical representation
- data mining
- neural network
- feature space
- active learning
- unsupervised learning
- pattern recognition
- information retrieval
- formal verification
- logical operations
- data independence
- data sets