activity
20222026
most citedTopology and geometry of data manifold in deep learning

5 citations · 7 across the 7 of their papers we have counts for

collaborators
Showing cs.AIShow all

1 paper · 1 filter

cs.AI2026

Evaluating SageMath-Augmented LLM Agents for Computational and Experimental Mathematics

Pavel Snopov, German Magai

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 und…