Program Learning with Verifiable Rewards: Symbolic Backpropagation for Post-Training LLMs.

arXiv:2608.28421v2 Announce Type: replace Abstract: Post training a language model to reason means updating its weights. Supervised finetuning and reinforcement learning both place the acquired capability inside the model where it cannot be inspected cannot be