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