REFTY: Refinement Types for Valid Deep Learning Models.
Yanjie GaoZhengxian LiHaoxiang LinHongyu ZhangMing WuMao YangPublished in: ICSE (2022)
Keyphrases
- recommender systems
- learning models
- machine learning
- learning paradigms
- loss function
- learning tasks
- learning problems
- machine learning algorithms
- semi supervised learning
- learning algorithm
- classification models
- conditional random fields
- machine learning models
- real world
- image features
- pairwise
- learning environment
- reinforcement learning
- training data