Anton Sokolov

From Bayesian Knowledge Tracing to Verifiable Educational AI: A Design-Science Case Study in Cryptographic Attestation, Teacher Oversight, and EU AI Act Evidence Readiness

2026 · Zenodo (CERN European Organization for Nuclear Research)

Version 0.3.2 (23 May 2026) is an author hand-pass over v0.3.1. The case-study scope, BKT replayability argument, evidence event model, EU AI Act mapping, threat model, and benchmark numbers are unchanged. v0.3.2 tightens the abstract, …