SATURN: SAT-based Reinforcement Learning to Unleash LLMs Reasoning - Liu, Huanyu; Li, Ge; Li, Jia; Zhu, Hao; Zhang, Kechi; Dong, Yihong (Advances in Neural Information Processing Systems, 2025)