Contrastive Reasoning Path Optimization for Improving Logical Inference in Language Models. JAAIR 2026, 5 (1).