AXIOM: A Trust-First Neuro-Symbolic Execution Architecture for Verifiable Mathematical Reasoning
Das Paper stellt AXIOM vor, eine „Trust-First“-neurosymbolische Architektur, die Sprachmodelle ausschließlich dazu nutzt, natürliche Sprachprobleme in eine deterministische Computer-Algebra-System-Pipeline zu kanonisieren, wodurch eine Korrektheit von 94,36 % bei 100 % Vertrauen (null konfidente Fehler) auf mathematischen Benchmarks erreicht wird, während gleichzeitig sichergestellt wird, dass Systemverbesserungen niemals zuvor verifizierte Ergebnisse verschlechtern.