论文提出 HAIDL 语言与 JupyterLab 中间件，将人机交互存为可查询数据。
资讯摘要
论文提出将人机交互视为一类需要形式化表示的数据，并设计交互描述语言 HAIDL，用结构化对象记录计算上下文、用户请求、提示内容、AI 响应、反馈、来源与模型元数据。作者还实现 JupyterLab 中间件 HAIDL-X，用于捕获交互并存入仓库，并在其上增加学习层，将交互对象与 notebook 执行轨迹映射为参与度、表现、求助行为等可复现指标。
要点速读
- 论文提出 HAIDL 形式化交互模型，采用受 BNF 启发的具体语法，将每次交互编码为结构化对象。
- 作者实现 JupyterLab 中间件 HAIDL-X，负责捕获用户与机器人状态、构建上下文提示、对接 AI 提供商、收集反馈并存储交互。
- 论文在 HAIDL 上增加学习层，把交互对象与 notebook 执行轨迹映射为参与度、表现、求助、面向错误的使用和学习画像等可复现度量。
中文摘要由 AI 根据公开来源生成，可能存在理解偏差；具体能力、数字、开放时间等信息请以原文为准。
采集于 2026/10/31 08:00:18（北京时间）。 arXiv 日期为本次公告时间，论文初次投稿日期请查看原文版本记录。