@misc{indiciae7db17c941ffa,
  title = {Rethinking Wireless Communications through Formal Mathematical AI Reasoning},
  author = {Changyuan Zhao and Jiacheng Wang and Dusit Niyato and Zan Li and Abbas Jamalipour and Shiwen Mao and Xianbin Wang and Dong In Kim},
  year = {2026},
  url = {https://arxiv.org/abs/2604.25155},
  note = {Source identifier: 2604.25155}
}