Towards Logical Specification of Statistical Machine Learning.
Yusuke KawamotoPublished in: SEFM (2019)
Keyphrases
- statistical machine learning
- statistical learning
- learning systems
- statistical machine learning algorithms
- machine learning algorithms
- high level
- machine learning
- specification language
- formal specification
- feature selection
- conceptual model
- prior knowledge
- probabilistic logic
- formal verification
- logical reasoning
- information retrieval
- neural network