5 citations · 7 across the 7 of their papers we have counts for
1 paper · 2 filters
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…