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). https://doi.org/10.66280/cis.v1i1.199.