arxivcs.AI2026-07-07
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics
Recent advances in AI for Mathematics have focused largely on autoformalization and theorem proving, leaving the role of Computer Algebra Systems (CAS) in agentic LLM workflows underexplored. We propose a ReAct-style agentic setup that combines LLM reasoning with verifiable feedb…