不要微分程序，而要微分求值器：神经符号学习的高效运行时表示

论文提出原生可微虚拟机（NDVM），将符号结构保留为运行时数据，把数值状态放入密集批处理缓冲区，并沿实际执行轨迹记录精确反向梯度。该设计避免为每个候选程序单独构建计算图，据称实现约60倍单通道批处理摊销、近线性多核扩展，并让LLM提出的程序在固定预算搜索中约24倍更快达到高质量解。