找到2个数据集

格式: ZIP 标签: 交互ID

过滤结果

  • Alloy4Fun_Based_2022_23_学生形式化方法课程挑战模型数据集

    2026年1月15日 30 31 30

    数据集概述 本数据集包含2019年秋季至2023年春季期间，Minho大学和Porto大学学生在Alloy4Fun平台提交的形式化方法课程挑战模型，共约十万条记录。覆盖Trash FOL、Classroom FOL、Production line等11类挑战主题，涉及EM、MFES、MFS等多门硕士课程，用于教学评估与形式化方法研究。 文件详解...
    packageimg

  • 有限状态自动机用户_智能体交互语料库_NoVAGraphS_FSA

    2025年12月25日 30 97 47

    数据集概述 本数据集为围绕有限状态自动机（FSA）描述的用户-智能体交互语料库，包含结构化交互数据、FSA图形与状态表文件及RASA配置文件，用于支持对话系统研究，尤其关注视障用户的交互需求。 文件详解 核心交互数据文件: 未命名CSV文件:...
    packageimg