TY - JOUR T1 - Enhancing Logical Reasoning in Language Models via Symbolically-Guided Monte Carlo Process Supervision. JO - CoRR PY - 2025/05/01 AU - Tan X AU - Valentino M AU - Akhter ME AU - Liakata M AU - Aletras N ED - VL - abs/2505.20415 Y2 - 2025/09/29 ER -