arxivcs.NI2026-07-16
Formal Verification for Deep Learning-based Power Control in Massive MIMO
Thanh Le, Takeshi Matsumura, Yusheng Ji, John C. S. Lui
Deep learning is a promising approach to optimize wireless communication by simplifying the search for near-optimal solutions. Prior studies on deep learning-based wireless communication optimization have explored supervised learning approaches that map raw user information, such…