Return to Article Details Synergizing Symbolic Logic and Reinforcement Learning for Provably Correct Reasoning in Large Language Model Decision Pipelines Download Download PDF