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.
This paper investigates using Large Language Models, specifically Claude, interfaced with a Computer Algebra System (Maple) to perform algorithmic computations in theoretical physics, such as analyzing cosmological perturbations.