A lightweight interactive platform for stepwise formative assessment in algebra from single variable equations to matrix form linear systems in inclusive classrooms

Most digital math tools do something quietly frustrating: they check only the final answer. A student can mangle an entire chain of algebraic transformations and still receive a green checkmark if the last line happens to be right — or a red one if the last line is wrong, even when every earlier step was flawless. For teachers, that binary verdict is nearly useless in formative assessment, where the whole point is to catch the exact moment a student’s reasoning went off the rails. Now a team at Mohammed V University in Rabat has built a deliberately lightweight platform that does the opposite: it locks students into producing specific intermediate forms, labels their mistakes with surgical precision, and hands teachers a stream of process data they can actually act on. The system, described in Discover Education, runs on an ordinary CPU, needs no internet connection to a powerful remote service, and was designed from the ground up for inclusive classrooms that include deaf and hard-of-hearing students.

The pedagogical insight behind the platform is deceptively simple. In real classrooms, teachers rarely want students to produce just any mathematically equivalent expression — they want a specific canonical form at each stage. When solving an equation of the form ax + b = c, a teacher typically expects Step 1 to become ax = c − b and only then Step 2 to become x = (c − b)/a. A tool that accepts broad algebraic equivalence may happily accept a shortcut that skips the intended transformation, quietly undermining the scaffold the teacher built. The same tension appears when solving matrix-form linear systems AX = B, where students are guided through isolating one variable, computing it, substituting it into the remaining equation, and solving for the second. The Rabat platform therefore enforces teacher-specified canonical forms rather than merely checking equivalence — a deliberate narrowing that most tutoring systems have avoided.

Technically, the platform is built around a strict separation of concerns. The symbolic formula a student types is verified by a compact machine-learning classifier, while the numeric value is checked deterministically by the server with a tolerance. This split is pedagogically meaningful because it distinguishes symbolic misconceptions from arithmetic slips — a sign error is a different kind of mistake from a division slip, and the feedback messages reflect that. The classifier itself is a hybrid: the student’s formula string is represented using character n-gram TF–IDF vectors, which preserve micro-patterns like operator placement, sign structure, and denominator layout without requiring a full symbolic parser. These textual features are concatenated with targeted numeric cues — the step index, whether a division symbol is present, whether the left-hand side matches the expected form, whether numerator and denominator appear inverted. The combined matrix feeds into a compact multilayer perceptron with two hidden layers, trained with class weights to handle imbalance and early stopping to select the best checkpoint.

The performance numbers are startling for such a lightweight architecture. On the single-variable equation task, the classifier reaches 99.62 percent accuracy and 0.9962 macro-F1 on held-out test data, averaged over five random seeds. On the more structured AX = B task — which spans sixteen step-specific categories including four correct forms and twelve realistic distractors — the corresponding classifier reaches 99.87 percent accuracy and 0.9987 macro-F1. The baselines make the design choices visible: replacing character n-grams with word unigrams still yields a strong baseline around 96.5 percent accuracy, but removing the targeted numeric cues causes a dramatic drop to roughly 86.8 percent. In other words, the numeric cues are not cosmetic; they carry the signal that separates surface-similar formulas like ax = c − b from ax = b − c, where the difference is a single operator and the pedagogical difference is a sign misconception.

The error taxonomy is where the platform becomes genuinely teacher-facing. For the equation task, the labels include sign errors on b, swapping b and c, missing b on the right-hand side, denominator inversion, and missing division by a. For the matrix task, the taxonomy covers confusions between x₁ and x₂, using the wrong right-hand side, missing coefficients, numerator-denominator inversions, missing divisions, sign errors on substituted terms, and divisions by the wrong coefficient. These categories were chosen not to exhaust every mathematically possible wrong form but to cover the most frequent and pedagogically relevant near-miss patterns under the scaffold. Because the labels are stable and interpretable, the downstream analytics become directly actionable: a teacher can see not just that students are struggling but which specific symbolic operation is generating the friction.

The interface design is where the inclusive framing becomes concrete rather than rhetorical. All feedback is text-based and immediately visible on screen — no reliance on audio cues, which matters for deaf and hard-of-hearing learners. Instructions and the expected target form remain persistently visible at each step. Progression is step-locked: the next step is not revealed until the current one is completed correctly, which prevents scaffold-breaking shortcuts and reduces cognitive overload. Students can attempt each step multiple times without penalty, and the feedback messages are non-judgmental and specific rather than punitive. On the server side, every verified step is logged under a pseudonymous student code, capturing attempts, timestamps, step durations, and structured error labels without storing personally identifiable information. The participation of deaf and hard-of-hearing students took place within an established cooperation framework between the Faculty of Sciences at Mohammed V University and the Fondation Lalla Asmaa, which supports higher-education training of deaf students within the faculty.

The classroom logs reveal patterns that synthetic evaluation alone cannot. For the equation task, Step 1 consistently consumes more time than Step 2, confirming that the transformation ax = c − b is the main symbolic bottleneck rather than the final division. Real classroom mistakes concentrate overwhelmingly at Step 1, especially sign errors on b and the swap between b and c — exactly the operations that deserve targeted remediation. For the matrix task, the logs show a striking separation between cohorts: the hearing-impaired cohort had a median completion time of 808 seconds over 124 solved items, while the other cohort had a median of 278.4 seconds over 123 solved items. The authors are careful to note that this difference should not be interpreted as a causal effect of the system; rather, it demonstrates that the platform captures meaningful process variation in authentic use and can therefore support differentiated teacher monitoring. Learning curves across successive exercises suggest pacing stabilization over repeated practice while maintaining visible separation between cohorts.

The authors frame their educational claims with deliberate caution. The classroom evidence is presented as exploratory rather than causal — the study included no control groups, no pre/post testing, and no formal learning-gain estimation. This is an important distinction in a field where technology interventions are often oversold. What the results do establish is that a locally deployable, CPU-only platform can enforce canonical intermediate forms, distinguish formula errors from numeric errors, provide immediate step-level feedback, and produce teacher-facing analytics that remain meaningful in authentic classroom use. The practical value lies not in deciding whether a student is correct but in surfacing which step and which symbolic transformation deserves instructional attention — a form of closing the loop in learning analytics, where data become educationally useful only when they support timely intervention.

The positioning against prior work clarifies the niche. Compared with constraint-based tutors coupled to computer algebra systems, which can provide strong pedagogical control but carry substantial authoring and infrastructure burden, the Rabat platform reduces deployment cost by focusing on short symbolic inputs under fixed scaffolds. Compared with open-ended conversational models, which can solve equations but are not optimized for reproducible step-locked verification with stable error labels, the platform offers a different kind of value: operational reliability on ordinary hardware. Compared with exploratory misconception mining, which discovers latent error structure after the fact, the platform adds a real-time supervised component that recognizes errors during interaction and attaches explicit labels to them. The contribution is therefore not a single-task demonstration but a platform-level architecture that can host multiple algebra tasks under shared interaction philosophy, logging strategy, and lightweight deployment model.

The limitations define the scope honestly. Both tasks rely heavily on synthetic supervision for the formula classifiers, and the extent to which the current taxonomies cover all naturally occurring student variants remains an open empirical question. The classroom study is context-specific and moderate in size. The AX = B task is deliberately restricted to a controlled upper-triangular matrix setting rather than full general linear-system solving — a design choice that preserves canonicality and classroom tractability but limits generalization. The platform emphasizes keyboard-based textual interaction and does not yet address handwriting, speech, or richer multimodal accessibility pathways. Future work, the authors suggest, should include stronger evaluation designs such as pre/post measures or quasi-experimental protocols, expanded taxonomies trained on larger collections of authentic student inputs, and richer accessibility support while preserving local deployability. What the platform already demonstrates, though, is a coherent and extensible foundation: a step-locked, CPU-only framework that combines reliable symbolic diagnosis with interpretable teacher-facing analytics across more than one algebra task in inclusive, low-stakes educational settings.

Subject of Research: A lightweight interactive platform for stepwise formative assessment in algebra from single variable equations to matrix form linear systems in inclusive classrooms

Article Title: A lightweight interactive platform for stepwise formative assessment in algebra from single variable equations to matrix form linear systems in inclusive classrooms

Article References: Bendourou, M. A., Riadsolh, A., Massaoudi Souchak, S., & Ez-Zahraouy, H. (2026). A lightweight interactive platform for stepwise formative assessment in algebra from single variable equations to matrix form linear systems in inclusive classrooms. Discover Education, 5(1), Article 836. https://doi.org/10.1007/s44217-026-02085-6

Image Credits: AI Generated

DOI: 10.1007/s44217-026-02085-6

Keywords: lightweight, interactive, platform, stepwise, formative, assessment, algebra, single, variable, equations, matrix, form