stem education | BriefGPT - AI 论文速递

关键词stem education

搜索结果 - 7

第 12 届国际定理证明组件教育软件研讨会论文集
该研究论文通过探索定理证明技术在 STEM 教育中的软件支持，以实现从中学的直观数学方式到更正式学科的平滑过渡，并促进计算机科学家、数学家和教育者之间的相互理解。
PDF3 months ago
VerAs: 验证然后评估 STEM 实验报告
STEM 教育中，科学写作在强调探究能力的课程中扮演着越来越重要的角色。我们提出了一种端到端的神经架构，该架构通过分离的验证器和评估模块，受到开放领域问答方法的启发，对实验报告进行了自动化评估，超过了其他基于开放领域问答系统或自动化论文评分
PDF5 months ago
探讨 ChatGPT 在科学与工程问题解决中的潜力和问题
本研究通过探索 OpenAI 的 ChatGPT 在解决不同类型的物理问题方面的能力，发现 ChatGPT 在解决给定完整数据的问题上的成功率为 62.5％，而在未给定全部必要数据的实际问题上的准确率下降至 8.3％。该研究提出了关于如何利
PDF9 months ago
ChatGPT 与机械工程：在 FE 机械工程和本科考试中的表现分析
本研究探讨了 ChatGPT 在机械工程学科中的能力，并通过使用大学提供的初级和高级机械工程考试题目以及机械工程基础考试（FE）的模拟题目，分析了两个 ChatGPT 模型的回答。结果发现，付费订阅模型（GPT-4）在正确率上远远超过免费版
PDF9 months ago
通过生成式人工智能阐述 STEM 概念：类比推理的多模态探索
本研究探讨了将生成式人工智能（AI）和多模态类比推理相结合，作为增强科学、技术、工程和数学（STEM）教育的创新方法。我们开发了一个新颖的系统，利用生成式 AI 的能力，将数学、物理和编程中复杂的原理转化为易于理解的隐喻。为了进一步增强学习
PDFa year ago
第 11 届定理证明教育软件组件国际研讨会
本文介绍了 ThEdu 系列以及本卷在 STEM 教育中应用定理证明技术的自动演绎和应用于教育软件的方法和工具在教育方面的应用。
PDFa year ago
第十届定理证明组件教育软件国际研讨会论文集
ThEdu'21 workshop proceedings focused on promoting a more formal approach to mathematics in STEM education through softw
PDF2 years ago