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