TY  - RPRT
TI  - Rethinking Wireless Communications through Formal Mathematical AI Reasoning
AU  - Changyuan Zhao
AU  - Jiacheng Wang
AU  - Dusit Niyato
AU  - Zan Li
AU  - Abbas Jamalipour
AU  - Shiwen Mao
AU  - Xianbin Wang
AU  - Dong In Kim
PY  - 2026
UR  - https://arxiv.org/abs/2604.25155
ID  - 2604.25155
ER  -