TY  - RPRT
TI  - Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning
AU  - Muhammad Asif Ali
AU  - Wenqing Wang
AU  - Huan Wang
AU  - Mohammad Raza
PY  - 2026
UR  - https://arxiv.org/abs/2609.34660
ID  - 2609.34660
ER  -