From Reasoning Strings to Partial Orders: Verifier-Certified Rule Transport through Quotient Policy Optimization
DGX agentarXiv:2609.27833v1 Announce Type: new Abstract: Many computations admit several valid execution orders because independent subgoals or disjoint state updates can commute. Reinforcement learning with v