Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision Paper • 2505.20415 • Published May 26 • 2