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

ArXiv CS.CL2026-06-02NEWSen作者: Alessio Bruno
查看原文 →
关系图谱

AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning · 相关技术

相关技术

Computer-Algebra-System (CAS)