Strategy Executability in Mathematical Reasoning: Leveraging Human-Model Differences for Effective Guidance. - Weida Liang; Yiyou Sun; Shuyuan Nan; Chuang Li; Dawn Song; Kenji Kawaguchi (CoRR, 2026)