RegulaTutor: A Theory-Informed Framework for Long-Term Personalized Learning
Organizations: The Hong Kong University of Science and Technology · The Chinese University of Hong Kong
Abstract
Long-term personalized tutoring requires language models to translate a learner's evolving history into appropriate instructional support. Existing LLM-based tutoring systems use memory and retrieval to personalize responses, but the pedagogical rationale linking historical evidence to teaching strategies is not always explicit. We introduce RegulaTutor, a theory-informed framework for long-term personalized tutoring that connects historical evidence, learner interpretation, and learner-facing instruction. Guided by self-regulated learning (SRL) research, its tutoring harness operationalizes a cognitive, affective, metacognitive, and motivational (CAMM) framework for deriving evidence-supported learner interpretations and teaching policies. The resulting policies retain links to their supporting evidence and are updated as new observations arrive. This staged workflow also supports systematic refinement through PairRoute, an offline procedure that uses intermediate execution records to distinguish harness, model, and mixed failures. PairRoute proposes and evaluates targeted harness revisions, then constructs reviewed stage-level supervision for confirmed model failures remaining under the selected harness. We focus this refinement on historical evidence acquisition, which underpins personalized instruction and allows outputs to be checked against learning records and reference answers. RegulaTutor improves historical-evidence accuracy, learner diagnosis, and judged teaching quality on average across evaluated model configurations. PairRoute results show an endpoint improvement in standalone-model historical-evidence accuracy over the refinement trajectory. Together, these results highlight RegulaTutor's potential to support lifelong personalized education through instructional policies that evolve with learner histories and targeted improvements to the tutoring system.
Figures & tables
| Model / system | Method | Evidence | Diagnosis | Teaching |
|---|---|---|---|---|
| Local Qwen checkpoints ( ) | ||||
| Qwen3.5-4B ( ) | Model only | 20.0 | 29.7 | 2.63 |
| RegulaTutor | 56.2 ∗ | 50.8 ∗ | 2.76 | |
| Qwen3.5-4B ( ) | Model only | 21.2 | 31.3 | 2.67 |
| RegulaTutor | 56.4 ∗ | 49.6 ∗ | 2.73 | |
| Qwen3.5-4B ( ) | Model only | 27.9 | 28.0 | 2.79 |
| Variant | Evidence | Diagnosis | Teaching |
|---|---|---|---|
| Full RegulaTutor | 37.6 | 44.9 | 3.340 |
| Without CAMM interpretation | 35.6 (-2.0) | 44.8 (-0.1) | 3.176 (-0.164) |
| Static policy | 36.1 (-1.5) | 44.8 (-0.1) | 3.196 (-0.144) |
| Without compiled directives | 43.3 (+5.7) | 44.2 (-0.7) | 3.228 (-0.112) |
| Pair | Model update | Evidence | Evidence (%) | Diagnosis | Teaching |
|---|---|---|---|---|---|
| Initial model and harness | 208/300 | 69.3 | 43 | 2.690 | |
| Initial model, selected harness | 212/300 | 70.7 | 40 | 2.955 | |
| PairRoute SFT, round 1 | 230/300 | 76.7 | 50 | 3.055 | |
| PairRoute SFT, round 2 | 234/300 | 78.0 | 50 | 2.965 | |
| PairRoute SFT, round 3 | 250/300 | 83.3 | 48 | 2.935 |
| Model checkpoint | Model only | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| E | D | T | E | D | T | E | D | T | |
| (pretrained) | 20.0 | 29.7 | 2.631 | 59.5 | 51.6 | 2.752 | 56.2 | 50.8 | 2.763 |
| (round 1) | 21.2 | 31.3 | 2.671 | 67.3 | 52.7 | 2.721 | 56.4 | 49.6 | 2.731 |
| (round 2) | 27.9 | 28.0 | 2.793 | 49.3 | 52.1 | 2.715 | 43.9 | 51.6 | 2.721 |
| (round 3) | 28.2 | 27.2 | 2.789 | 59.9 | 52.0 | 2.774 | 43.7 | 51.3 | 2.733 |
Appendix figures & tables14 assets
Supplementary material from the paper’s appendix.
Appendix
| Setting | Value |
|---|---|
| Bounded history / recent-history window | 10,000 / 10 events |
| Initial retrieval / ERL evidence top- | 8 / 48 |
| Mapper chunk size | 40 events |
| Maximum ERL rounds | 2 |
| Internal output limit / temperature | 12,000 tokens / 0 |
| CAMM interpretation / evidence admission | Deterministic / ERL-cited events |
| Observed evidence | Instructional support | Inference boundary |
|---|---|---|
| Repeated errors on a concept | Stepwise explanation and a focused check, grounded in a prior attempt | Local difficulty does not imply global inability or low motivation |
| Supported prior success | Concise explanation and retrieval practice | Prior accuracy does not establish general mastery |
| Explicit strategy, reflection, confidence, or self-check signal | Strategy comparison and self-checking | An observed action does not establish a stable metacognitive trait |
| Explicit motivational or affective self-report | Acknowledge the signal and adapt support to its context | Incorrect answers alone do not establish motivation or emotion |
| Disposition | Criterion and action |
|---|---|
| Harness | Evidence access or the call interface is defective; propose a harness repair. |
| Model | Evidence and instructions are sufficient, but execution is incorrect; review a correction target. |
| Mixed | Both defects occur; repair the interface before reassessing model supervision. |
| Success | The task meets its evaluation criterion; independently review stages for retention. |
| External | A source, reference, or evaluation problem prevents a clean correction target. |
| Defer | Attribution remains uncertain; withhold the case from confirmed corrections. |
| Update | Cases | Corrections | Retention | Total | Learning rate |
|---|---|---|---|---|---|
| 256 | 264 | 137 | 401 | ||
| 121 | 87 | 70 | 157 | ||
| 111 | 60 | 60 | 120 |
| Set | Cases/tasks | Purpose |
|---|---|---|
| Discovery | 369 | Harness failure diagnosis, targeted candidate checks, and stage supervision |
| Probe | 32 | Harness candidate screening |
| Development | 100 | Adaptive assessment of model–harness updates |
| LongTutor Gold1000 | 1,000 | System, harness, and model–harness pair evaluation |
| TeachArena dialogue | 114 | Situated multi-turn tutoring |
| TeachArena workflows | 136 | Tool-mediated Canvas tasks |
| System | Recorded coverage | Configuration boundary |
|---|---|---|
| Direct inference | LT: nine model/checkpoint settings; TA-D/TA-W: three backbones | Public inputs and benchmark agent contract |
| DeepTutor | LT: deepseek-v4-pro only | Real v1.5.1 chat engine; task-local sessions |
| Native Codex | LT: GPT-5.6-sol agent condition | Own agent runtime and execution budget |
| RegulaTutor | LT: – and deepseek-v4-pro | Frozen initial harness, distinct from direct inference |
| RegulaTutor | LT: nine settings; TA-D/TA-W: three backbones | Final PairRoute-refined harness; later retain it |
| Variant | Intervention | What the contrast measures |
|---|---|---|
| Without CAMM pathway | Disable interpretation and its downstream policy/directive pathway; retain evidence inputs and static support | Combined contribution of the CAMM-conditioned pathway, not the compiler alone |
| Static policy | Keep CAMM and its direct implications but fix policy fields to their default values | Contribution of adaptive policy-field selection beyond direct CAMM implications |
| Without compiled directives | Keep internal interpretation/policy computation but remove compiled directives from the final prompt; freeze other field exposure | Contribution of explicit instruction compilation under the recorded exposure policy |
| Checkpoint | Interface | Evidence | Diagnosis | Teaching |
|---|---|---|---|---|
| G1 | Direct | 30.9 | 31.6 | 2.768 |
| G2 | Direct | 30.1 | 28.0 | 2.758 |
| G1 | RegulaTutor | 47.2 | 49.0 | 2.917 |
| G2 | RegulaTutor | 64.6 | 48.3 | 2.884 |
| G1 G2 under | +17.3 | |||
| Backbone | Response mode | Reward | Scored cases |
|---|---|---|---|
| Qwen3.5-4B | Strict schema | .282 | 130/136 |
| JSON object | .001 | 2/136 | |
| DeepSeek-v4-pro | Strict schema | .430 | 101/136 |
| JSON object | .531 | 127/136 | |
| Gemini-3.7-flash | Strict schema | — | |
| JSON object | .554 | 120/136 |
| Backbone | Evidence [95% CI] | Diagnosis [95% CI] | Teaching [95% CI] |
|---|---|---|---|
| Qwen | +36.17 [34.1, 38.2] | +21.10 [17.2, 24.9] | +.132 [.064, .200] |
| Qwen | +35.23 [33.1, 37.2] | +18.30 [14.1, 22.3] | +.060 [–.006, .127] |
| Qwen | +16.00 [13.9, 18.1] | +23.60 [19.3, 27.9] | –.072 [–.138, –.006] |
| Qwen | +15.50 [13.4, 17.6] | +24.10 [19.9, 28.2] | –.057 [–.124, .012] |
| DeepSeek-v4-pro | +10.87 [8.7, 13.0] | +.90 [–2.1, 3.8] | +.220 [.172, .268] |
| Gemini-3.7-flash | +18.23 [16.6, 20.0] | –7.90 [–11.7, –4.1] | +.506 [.458, .553] |
| Backbone | IE [95% CI] | MR [95% CI] | HC [95% CI] |
|---|---|---|---|
| Qwen | +43.2 [39.4, 47.0] | +17.9 [14.9, 20.8] | +47.4 [44.1, 50.7] |
| Qwen | +39.7 [35.8, 43.6] | +18.3 [15.3, 21.4] | +47.7 [44.6, 51.0] |
| Qwen | +2.5 [–1.5, 6.5] | +1.1 [–1.6, 3.8] | +44.4 [41.1, 47.7] |
| Qwen | +3.1 [–.8, 7.2] | +1.9 [–1.0, 4.7] | +41.5 [38.1, 44.7] |
| DeepSeek-v4-pro | –33.4 [–37.5, –29.2] | +23.6 [19.8, 27.2] | +42.4 [39.3, 45.5] |
| Gemini-3.7-flash | +25.0 [22.1, 27.9] | +25.3 [22.0, 28.5] | +4.4 [2.2, 6.6] |
| Task | Backbone | Direct | 95% CI | W/L/T | |||
|---|---|---|---|---|---|---|---|
| Dialogue | Qwen3.5-4B | .572 | .587 | 106 | +.015 | [–.003,.034] | 36/24/46 |
| DeepSeek-v4-pro | .672 | .621 | 107 | –.010 | [–.024,.002] | 22/29/56 | |
| Gemini-3.7-flash | .666 | .641 | 111 | –.007 | [–.021,.006] | 23/28/60 | |
| Workflows | Qwen3.5-4B | .547 | .282 | 122 | –.290 | [–.362,–.217] | 18/87/17 |
| DeepSeek-v4-pro | .682 | .531 | 127 | –.129 | [–.201,–.061] | 30/59/38 | |
| Gemini-3.7-flash | .646 | .554 | 120 | –.011 | [–.072,.051] | 29/43/48 |
| Comparison | Evidence [95% CI] | Diagnosis [95% CI] | Teaching [95% CI] |
|---|---|---|---|
| : | |||
| : | |||
| : | |||
| : | |||
| DeepSeek: |