Behavior-Aware Item Modeling via Dynamic Procedural Solution Representations for Knowledge Tracing