Xianbin Wang

Rethinking wireless communications through formal mathematical AI reasoning

Mathematical analysis has long underpinned wireless communication theory, yet the growing complexity of next-generation systems demands increasingly sophisticated reasoning from domain experts. Recent advances in AI mathematical reasoning, from formal theorem proving to large lan...