VarSKD: A Variational Student Knowledge Diagnosis for Efficiently Representing Student Latent Knowledge Space | IEEE Conference Publication | IEEE Xplore