AIBullisharXiv – CS AI · 6h ago7/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.