SCULPT: Constraint-Guided Pruned MCTS that Carves Efficient Paths for Mathematical Reasoning. - Qitong Fang; Haotian Li; Xu Wang (CoRR, 2026)