Towards Verification-Aware Knowledge Distillation for Neural-Network Controlled Systems: Invited Paper.
Jiameng FanChao HuangWenchao LiXin ChenQi ZhuPublished in: ICCAD (2019)
Keyphrases
- neural network
- invited paper
- learning systems
- expert systems
- knowledge based systems
- prior knowledge
- domain knowledge
- distributed systems
- knowledge acquisition
- enormous amounts
- model checking
- complex systems
- intelligent systems
- computer systems
- knowledge management
- context aware
- back propagation
- management system
- recent advances
- knowledge discovery
- knowledge representation
- knowledge sharing
- knowledge base
- databases