Preprint
Jul 2026
Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics
The findings suggest that CAS-augmented agents represent a promising direction for assisting mathematicians in computational exploration, and it is believed that this work is a step towards automated conjecture discovery.
Pavel Snopov, German Magai
· 0 citations