Ali, M. A., Wang, W., Wang, H., & Raza, M. (2026). Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning. https://omanscience.com/en/articles/rewarding-novel-deductions-solver-guided-process-supervision-for-logical-reasoning