Shen, J.; Qian, H.; Zhang, W.; Zhou, A. Symbolic Cognitive Diagnosis via Hybrid Optimization for Intelligent Education Systems. AAAI 2024, 38, 14928-14936.