program-execution

本文提出了一种迹监督的符号神经CPU架构，结合循环控制、显式操作路由器和掩码寄存器回写，实现了可审计、可解释的程序执行，并通过量化模拟回写保留了符号操作路径。

本文提出评估编程大语言模型对软件执行的理解，超越控制流，包括预测内存使用、运行时间和分析器输出，发现所有测试模型表现不佳，表明缺乏对软件世界模型的深入理解。