CONTRA: Discovering and Qualifying Behavior-Changing Questions for Selective Clarification in LLM Code Generation.

arXiv:2610.01769v1 Announce Type: cross Abstract: Coding agents can generate code that appears correct but implements behavior the user never intended. This mismatch can arise when an agent silently resolves underspecified requirements through its own assumpti