TY - RPRT TI - Well-Typed ComfyUI Cannot Go Wrong: Gradual Refinement Types for Generative-AI Workflow Graphs AU - Pingchuan Ma AU - Zhantong Xue AU - Hui Li AU - Zhaoyu Wang AU - Yuguang Zhou AU - Shuai Wang AU - Xiaoqin Zhang PY - 2026 UR - https://arxiv.org/abs/2610.37673 ID - 2610.37673 ER -