Douglas Ashcroft, and William Prescott. “Synergizing Symbolic Logic and Reinforcement Learning for Provably Correct Reasoning in Large Language Model Decision Pipelines”. Computational Intelligence Systems 4, no. 1 (May 19, 2026). Accessed May 27, 2026. https://scivexus.org/index.php/CIS/article/view/199.