Tag
The paper introduces Constraint-First Reasoning (CFR), a training-free two-stage prompting protocol that extracts answer-space constraints before solving and checks intermediate/final results against them, improving math problem solving on competition benchmarks.