TY - RPRT TI - Differentiate the Evaluator, Not the Program: An Efficient Runtime Representation for Neuro-Symbolic Learning AU - Lucas Sheneman PY - 2026 UR - https://arxiv.org/abs/2607.03574 ID - 2607.03574 ER -