English
Related papers

Related papers: Rethinking Wireless Communications through Formal …

200 papers

Mathematical problem-solving is a key field in artificial intelligence (AI) and a critical benchmark for evaluating the capabilities of large language models (LLMs). While extensive research has focused on mathematical problem-solving, most…

Computation and Language · Computer Science 2025-01-03 Ziye Chen , Hao Qi

As data generation increasingly takes place on devices without a wired connection, machine learning (ML) related traffic will be ubiquitous in wireless networks. Many studies have shown that traditional wireless protocols are highly…

Data-driven machine learning (ML) is promoted as one potential technology to be used in next-generations wireless systems. This led to a large body of research work that applies ML techniques to solve problems in different layers of the…

Machine Learning · Computer Science 2023-03-15 Mohamed Akrout , Amal Feriani , Faouzi Bellili , Amine Mezghani , Ekram Hossain

The marriage of wireless big data and machine learning techniques revolutionizes the wireless system by the data-driven philosophy. However, the ever exploding data volume and model complexity will limit centralized solutions to learn and…

Machine Learning · Computer Science 2020-03-03 Yue Xu , Feng Yin , Wenjun Xu , Chia-Han Lee , Jiaru Lin , Shuguang Cui

With the advent of 5G technology, the notion of latency got a prominent role in wireless connectivity, serving as a proxy term for addressing the requirements for real-time communication. As wireless systems evolve towards 6G, the ambition…

The ability of Large Language Models (LLMs) to perform reasoning tasks such as deduction has been widely investigated in recent years. Yet, their capacity to generate proofs-faithful, human-readable explanations of why conclusions…

Artificial Intelligence · Computer Science 2026-01-21 Hui Yang , Jiaoyan Chen , Uli Sattler

The growing application of artificial intelligence in sensitive domains has intensified the demand for systems that are not only accurate but also explainable and trustworthy. Although explainable AI (XAI) methods have proliferated, many do…

Artificial Intelligence · Computer Science 2026-01-06 Marilyn Bello , Rafael Bello , Maria-Matilde García , Ann Nowé , Iván Sevillano-García , Francisco Herrera

Large artificial intelligence (AI) models offer revolutionary potential for future wireless systems, promising unprecedented capabilities in network optimization and performance. However, current paradigms largely overlook crucial physical…

Information Theory · Computer Science 2025-07-01 Xinquan Wang , Fenghao Zhu , Zhaohui Yang , Chongwen Huang , Xiaoming Chen , Zhaoyang Zhang , Sami Muhaidat , Mérouane Debbah

Large Language Models (LLMs) are increasingly being used in education, yet their correctness alone does not capture the quality, reliability, or pedagogical validity of their problem-solving behavior, especially in mathematics, where…

Computers and Society · Computer Science 2025-10-22 Sagnik Dakshit , Sushmita Sinha Roy

The growing adoption of large language models in legal practice brings both significant promise and serious risk. Legal professionals stand to benefit from AI that can reason over contracts, draft documents, and analyze sources at scale,…

Artificial Intelligence · Computer Science 2026-05-15 Olivia Peiyu Wang , Leilani H. Gilpin

Large Reasoning Models (LRMs) have made significant progress in mathematical capabilities in recent times. However, these successes have been primarily confined to competition-level problems. In this work, we propose AI Mathematician (AIM)…

Artificial Intelligence · Computer Science 2025-05-29 Yuanhang Liu , Yanxing Huang , Yanqiao Wang , Peng Li , Yang Liu

Integrating AI into the physical layer is a cornerstone of 6G networks. However, current data-driven approaches struggle to generalize across dynamic environments because they lack an intrinsic understanding of electromagnetic wave…

Networking and Internet Architecture · Computer Science 2026-03-27 Ziqi Chen , Yi Ren , Yixuan Huang , Qi Sun , Nan Li , Yuhong Huang , Chih-Lin I , Yifan Li , Liang Xia

This paper explores the application of large language models (LLMs) in designing strategic mechanisms -- including auctions, contracts, and games -- for specific purposes in communication networks. Traditionally, strategic mechanism design…

Computer Science and Game Theory · Computer Science 2024-12-03 Ismail Lotfi , Nouf Alabbasi , Omar Alhussein

Machine learning (ML) has been widely applied to the upper layers of wireless communication systems for various purposes, such as deployment of cognitive radio and communication network. However, its application to the physical layer is…

Information Theory · Computer Science 2017-10-30 Tianqi Wang , Chao-Kai Wen , Hanqing Wang , Feifei Gao , Tao Jiang , Shi Jin

The recent upsurge of diversified mobile applications, especially those supported by Artificial Intelligence (AI), is spurring heated discussions on the future evolution of wireless communications. While 5G is being deployed around the…

Networking and Internet Architecture · Computer Science 2024-10-30 Khaled B. Letaief , Wei Chen , Yuanming Shi , Jun Zhang , Ying-Jun Angela Zhang

New network architectures, such as the Internet of Things (IoT), 5G, and next-generation (NextG) cellular systems, put forward emerging challenges to the design of future wireless networks toward ultra-high data rate, massive data…

Networking and Internet Architecture · Computer Science 2023-06-13 Jiahao Xue , Zhe Qu , Shangqing Zhao , Yao Liu , Zhuo Lu

Computational argumentation offers formal frameworks for transparent, verifiable reasoning but has traditionally been limited by its reliance on domain-specific information and extensive feature engineering. In contrast, LLMs excel at…

Artificial Intelligence · Computer Science 2026-03-18 Stylianos Loukas Vasileiou , Antonio Rago , Francesca Toni , William Yeoh

Large language models (LLMs) excel at general mathematical reasoning but fail catastrophically on specialized technical mathematics. In wireless communications, where problems require precise manipulation of information-theoretic bounds,…

Machine Learning · Computer Science 2025-09-30 Xin Li , Mengbing Liu , Yiyang Zhu , Wenhe Zhang , Li Wei , Jiancheng An , Chau Yuen

Large Language Models (LLMs) are rapidly advancing across diverse domains, yet their application in theoretical physics remains inadequate. While current models show competence in mathematical reasoning and code generation, we identify…

Computation and Language · Computer Science 2026-03-13 Sirui Lu , Zhijing Jin , Terry Jingchen Zhang , Pavel Kos , J. Ignacio Cirac , Bernhard Schölkopf

Artificial intelligence (AI) has become a key enabler for next-generation wireless communication systems, offering powerful tools to cope with the increasing complexity, dynamics, and heterogeneity of modern wireless environments. To…

Signal Processing · Electrical Eng. & Systems 2026-05-01 Peng Yi , Ying-Chang Liang