Certifying Sequential Consistency of Machine Learning Accelerators.
Huan WuFei XieZhenkun YangPublished in: ICFEM (2023)
Keyphrases
- machine learning
- data mining
- inductive learning
- text mining
- machine learning methods
- machine learning algorithms
- pattern recognition
- reinforcement learning
- explanation based learning
- computer vision
- artificial intelligence
- learning algorithm
- decision trees
- natural language
- knowledge representation
- information extraction
- learning problems
- constraint networks
- machine learning approaches
- computational biology
- sequential data
- natural language processing
- learning tasks
- computer science
- feature selection
- information retrieval
- knowledge acquisition
- computational intelligence
- knowledge discovery
- data analysis
- machine learning and data mining
- consistency checking
- global consistency