DeepAuto: A First Step Towards Formal Verification of Deep Learning Systems (S).
Yuteng LuWeidi SunGuangdong BaiMeng SunPublished in: SEKE (2021)
Keyphrases
- learning systems
- formal verification
- model checking
- learning process
- computer supported
- machine learning
- bounded model checking
- model checker
- learning resources
- learning materials
- learning environment
- symbolic model checking
- machine learning systems
- program slicing
- temporal logic
- automated verification
- human learning
- artificial intelligence
- learning mechanisms
- adaptive systems
- collaborative learning
- state space
- domain knowledge