DeepJSCC 的神经网络验证

研究者提出首个针对 DeepJSCC 解码器的界传播验证框架，在给定无线信道噪声区域内界定最坏情况重建误差。该框架扩展了 PReLU 的线性松弛优化，将转置卷积替换为受限的先上采样再卷积形式，并把 Rayleigh 衰落建模为前置结构化扰动以降低验证维度。