arxivcs.AIcs.ARcs.LGcs.NE2026-07-10
A Symbolic Neural CPU for Quantization-Simulated Writeback and Interpretable Program Execution
Neural networks can learn algorithmic input-output mappings, but trusting a learned executor requires more than a correct final answer because the state transitions that produce it are usually hidden. To make those transitions visible, we introduce a trace-supervised symbolic neu…