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