Author

Mohammad Raza

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

Preprint Sep 2026

Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning

Logical reasoning remains a major challenge for large language models (LLMs), particularly on structured problems that require precise constraint tracking, consistency preservation, and multi-step deduction. This challenge is especially acute for small-scale LLMs, which are more prone to producing inconsistent, redunda...

Muhammad Asif Ali, Wen-Qing Wang, Huan Wang et al. · 0 citations

#natural language process... Preprint Sep 2026

Rewarding Novel Deductions: Solver-guided Process Rewards for Logical Reasoning

S PRING uses SMT solver as a training-time verifier of intermediate reasoning steps to provide process-level supervision and introduces the notion of a novel reasoning step, namely, a step that is logically valid, consistent with the evolving reasoning state, and not already implied by previously accepted non-contradic...

Muhammad Asif Ali, Wen-Qing Wang, Huan Wang et al. · 0 citations