MathLedger: A Verifiable Learning Substrate with Ledger-Attested Feedback
MathLedger: 一种具有账本证明反馈的可验证学习基础
机构 * CNU(中国矿业大学)
专题命中 AI治理与伦理 :safety(abstract);分类 cs.AI、cs.LG
AI总结 MathLedger通过整合形式验证、密码学证明和学习动态,提供一种可验证学习的基础,实现可审计的机器认知系统。
Comments 14 pages, 1 figure, 2 tables, 2 appendices with full proofs. Documents v0.9.4-pilot-audit-hardened audit surface with fail-closed governance, canonical JSON hashing, and artifact classification. Phase I infrastructure validation; no capability claims