description [ICCV 2025][Video Generation][video discretization] This paper proposes SweetTok, a video tokenizer that decouples spatial and temporal information compression via a Decoupled Query ...
Abstract: As control systems grow in complexity, abstraction-based methods have become essential for designing controllers with formal guarantees. However, a key limitation of these methods is their ...