Sleeping Agents VerifiableRewardsForScalableLogicalReasoning 🚀 Evaluate logical rules with validation programs