@misc{indiciae1bccd287193b,
  title = {Rewarding Novel Deductions: Solver-guided Process Supervision for Logical Reasoning},
  author = {Muhammad Asif Ali and Wenqing Wang and Huan Wang and Mohammad Raza},
  year = {2026},
  url = {https://arxiv.org/abs/2609.34660},
  note = {Source identifier: 2609.34660}
}