Teaching LTLf Satisfiability Checking to Neural Networks.
Weilin LuoHai WanJianfeng DuXiaoda LiYuze FuRongzhen YeDelong ZhangPublished in: IJCAI (2022)
Keyphrases
- neural network
- learning environment
- pattern recognition
- artificial neural networks
- cooperative learning
- effective learning
- learning process
- online learning
- back propagation
- learning analytics
- neural nets
- university level
- computer programming
- web based learning
- educational technology
- multi layer
- distance education
- high school
- e learning
- training process
- st century
- hong kong
- activation function
- neural network model
- self organizing maps
- science education
- higher education
- hopfield neural network
- learning systems
- educational software