Original Summary

Step-level formative feedback for propositional logic arguments: controlled-English parsing, truth-table entailment, resolution refutation with BFS hints, and Bayesian Knowledge Tracing. 3rd-year AI course project.

  • 情报分类：技术学习与提效
  • 分类依据：内容涉及技术、AI、软件工具或工程实践
  • 信息来源：GitHub · AI 新项目
  • 发布时间：2026/10/8 17:36:26