Causal-R: A Causal-Reasoning Geometry Problem Solver for Optimized Solution Exploration - Wu, Wenjun; Zhang, Lingling; Zhao, Bo; Huang, Muye; Wang, QianYing; Liu, Jun (Advances in Neural Information Processing Systems, 2025)