Deep Learning Toolkit-Driven Equivalence Checking of Flow-Based Computing Systems.
Suraj SingireddyRickard EwetzSumit Kumar JhaPublished in: AICAS (2022)
Keyphrases
- computing systems
- deep learning
- unsupervised learning
- computer systems
- unsupervised feature learning
- machine learning
- autonomic computing
- mental models
- deep architectures
- weakly supervised
- computer vision
- databases
- semi supervised
- supervised learning
- higher order
- open source
- dimensionality reduction
- reinforcement learning
- database systems
- information systems