Tag
AXIOM is a trust-first neuro-symbolic execution architecture for mathematical reasoning where the LLM acts as a canonicalizer, rewriting natural language problems into schemas processed by a deterministic CAS pipeline, achieving 94.36% correctness with 100% trust on parseable queries.