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

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

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 .