Theory-Based Interpretability in Deep Knowledge Tracing via Grounded Transformers | Synapse