Douglas Ashcroft and William Prescott, “Synergizing Symbolic Logic and Reinforcement Learning for Provably Correct Reasoning in Large Language Model Decision Pipelines”, CIS, vol. 4, no. 1, May 2026.