papers

Publications (8)

cs.CV2025

CC-Diff: Enhancing Contextual Coherence in Remote Sensing Image Synthesis

Mu Zhang, Yunfan Liu, Yue Liu +2

Existing image synthesis methods for natural scenes focus primarily on foreground control, often reducing the background to simplistic textures. Consequently, these approaches tend…

cs.CV2026

dRAE: Representation Autoencoder with Hyper-Spherical Codes

Tianren Ma, Lin Long, Chuyan Chen +4

In this work, we aim to discretize the high-dimensional visual representations to bridge the gap with language models - a non-trivial challenge, as existing quantization methods su…

cs.AI2025

Consolidating Reinforcement Learning for Multimodal Discrete Diffusion Models

Tianren Ma, Mu Zhang, Yibing Wang +1

Optimizing discrete diffusion model (DDM) with rewards remains a challenge: the non-autoregressive paradigm makes importance sampling intractable and rollout complex, puzzling rein…

cs.SE2023

WRTester: Differential Testing of WebAssembly Runtimes via Semantic-aware Binary Generation

Shangtong Cao, Ningyu He, Xinyu She +3

Wasm runtime is a fundamental component in the Wasm ecosystem, as it directly impacts whether Wasm applications can be executed as expected. Bugs in Wasm runtime bugs are frequentl…

econ.TH2026

Associative Networks in Decision Making

Jiangtao Li, Rui Tang, Mu Zhang

We present a model of associative networks that captures how decision makers expand their consideration set through mental associations between alternatives. Our model provides a t…

cs.PL2019

Duet: An Expressive Higher-order Language and Linear Type System for Statically Enforcing Differential Privacy

Joseph P. Near, David Darais, Chike Abuah +8

During the past decade, differential privacy has become the gold standard for protecting the privacy of individuals. However, verifying that a particular program provides different…