2 papers
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…
math.AT2025
Sheaf theory: from deep geometry to deep learning
Anton Ayzenberg, Thomas Gebhart, German Magai +1
This paper provides an overview of the applications of sheaf theory in deep learning, data science, and computer science in general. The primary text of this work serves as a frien…