Sleeping 1 VerifiableRewardsForScalableLogicalReasoning 🚀 1 Evaluate logical rules with a validation program