Author

Takeshi Matsumura

2 papers indexed here

We haven’t gathered this author’s papers yet. Follow them and we’ll fetch their work.

Not the right person? Other researchers publish under this name.

#artificial intelligence Preprint Oct 2026

Neural Network Verification for Deep Joint Source-Channel Coding

Deep joint source-channel coding (DeepJSCC) transmits data end-to-end over wireless channels using a neural encoder-decoder, but reconstruction quality can degrade sharply under adversarial perturbations and channel disturbances; no method formally bounds this degradation for DeepJSCC. We present the first bound-propag...

Thanh Le, Hai Duong, Takeshi Matsumura et al. · 0 citations

Jul 2026

Formal Verification for Deep Learning-based Power Control in Massive MIMO

This work proposes a formal verification framework to evaluate the robustness of deep learning-based power allocation in multi-cell massive multiple-input multiple-output (MIMO) systems against a wide range of potential adversarial input manipulations and makes the first attempt to formally verify deep neural networks...

Thanh Le, Takeshi Matsumura, Yu-Sheng Ji et al. · arXiv.org · 1 citation