TY - RPRT TI - AssumptionMiner: Extracting, Tracing, and Revising Implicit Assumptions in LLM Code Generation AU - Jie "JW" Wu PY - 2026 UR - https://arxiv.org/abs/2607.22898 ID - 2607.22898 ER -