|国家科技期刊平台
| 注册
首页|期刊导航|计算机工程与科学|基于人工智能模型的数学推理研究进展

基于人工智能模型的数学推理研究进展

杨凯翕 陈昕怡 阚志刚 韩旭 赵宝康 乔林波

计算机工程与科学2025，Vol.47Issue(11)：P.1996-2007,12.
✕
计算机工程与科学2025，Vol.47Issue(11)：P.1996-2007,12.DOI:10.3969/j.issn.1007-130X.2025.11.010

基于人工智能模型的数学推理研究进展

杨凯翕 1陈昕怡 2阚志刚 1韩旭 3赵宝康 1乔林波1

作者信息

  • 1. 国防科技大学计算机学院,湖南长沙410073
  • 2. 南开大学数学科学学院,天津300071
  • 3. 清华大学计算机科学与技术系,北京100084
  • 折叠

摘要

关键词

数学推理工具/数学数据集/人工智能辅助方法/人机协作

分类

信息技术与安全科学

引用本文复制引用

杨凯翕,陈昕怡,阚志刚,韩旭,赵宝康,乔林波..基于人工智能模型的数学推理研究进展[J].计算机工程与科学,2025,47(11):P.1996-2007,12.

基金项目

国家自然科学基金(U22B2005)。 （U22B2005）

计算机工程与科学

OA北大核心

1007-130X

访问量0
|
下载量0
段落导航相关论文