×
模态框(Modal)标题
在这里添加一些文本
关闭
关闭
提交更改
取消
确定并提交
×
模态框(Modal)标题
×
中国计算机学会会刊
中国科技核心期刊
中文核心期刊
首页
期刊介绍
编委会
投稿指南
投稿须知
排版规范
投稿模板
审稿流程
常见问题
开放获取
出版道德
期刊订阅
下载中心
联系我们
English
基于人工智能模型的数学推理研究进展
杨凯翕, 陈昕怡, 阚志刚, 韩旭, 赵宝康, 乔林波
Recent advances in mathematical inference
based on artificial intelligence models
YANG Kaixi, CHEN Xinyi, KAN Zhigang, HAN Xu, ZHAO Baokang, QIAO Linbo
计算机工程与科学 . 2025, (
11
): 1996 -2007 .