AssumptionMiner: Extracting, Tracing, and Revising Implicit Assumptions in LLM Code Generation
AssumptionMiner is presented, a framework that makes implicit assumptions a first-class artifact of LLM-based code generation, and demonstrates that making assumptions explicit improves the transparency and controllability of LLM-based code generation.