Studies when and how an assistant should ask clarification questions before converting natural-language problem descriptions into optimization models. Introduces OR-Clarify, a benchmark for pre-formulation clarification, and InterOPT, a two-stage framework that diagnoses formulation-critical gaps and guides targeted questioning and stopping decisions.