trust-first

AXIOM是一种信任优先的神经符号执行架构，用于数学推理。其中LLM作为规范化器，将自然语言问题重写为由确定的CAS管道处理的模式，在可解析查询上实现了94.36%的正确率和100%的信任度。