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