#computer-algebra-systems News & Analysis

2 articles tagged with #computer-algebra-systems. AI-curated summaries with sentiment analysis and key takeaways from 50+ sources.

2 articles

AIBullisharXiv – CS AI · Jun 27/10

🧠

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning

AXIOM is a neuro-symbolic architecture that pairs language models with deterministic computer algebra systems to solve mathematical problems with verifiable correctness. The system achieves 94.36% accuracy on MATH benchmarks with 100% confidence (zero incorrect confident answers) and has processed ~30,000 production queries, establishing a framework for trustworthy AI systems that prioritize verifiability over raw performance.

AINeutralarXiv – CS AI · Jun 106/10

🧠

ASyMOB: Algebraic Symbolic Mathematical Operations Benchmark

Researchers introduce ASyMOB, a 35,368-problem benchmark dataset for evaluating large language models on symbolic mathematics tasks. The dataset uses systematic perturbations to test genuine reasoning rather than pattern memorization, revealing that most models fail under minor problem variations while hybrid LLM-computer algebra system approaches show promise for scientific computing applications.