AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
이 논문은 언어 모델을 자연어 문제를 결정론적인 컴퓨터 대수 시스템(Computer-Algebra-System) 파이프라인으로 정형화하는 데에만 활용함으로써, 수학적 벤치마크에서 94.36%의 정확도와 100%의 신뢰도(확신 있는 오류 제로)를 달성하는 동시에 시스템 개선이 이전에 검증된 결과를 결코 퇴보시키지 않도록 보장하는 신뢰 우선 신경-기호 아키텍처인 AXIOM을 소개한다.