Douglas Ashcroft, & William Prescott. (2026). Synergizing Symbolic Logic and Reinforcement Learning for Provably Correct Reasoning in Large Language Model Decision Pipelines. Computational Intelligence Systems, 4(1). https://doi.org/10.66280/cis.v1i1.199