1
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics
SageMath增强LLM智能体，一场计算与实验数学的自动化探索，看AI如何攻克严谨数学推理。
arXiv:2607.06820v1 Announce Type: new Abstract: Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving, l…