Towards Integrating Formal Methods into ML-Based Systems for Networking

1Citations
Citations of this article
10Readers
Mendeley users who have this article in their library.

Abstract

Owing to its adaptability and scalability, Machine Learning (ML) has gained significant momentum in the networking community. Yet, ML models can still produce outputs that contradict knowledge, i.e., established networking rules and principles. On the other hand, Formal Methods (FM) use rigorous mathematical reasoning based on knowledge, but suffer from the lack of scalability. To capitalize on the complementary strengths of both approaches, we advocate for the integration of knowledge-based FM into ML-based systems for networking problems. Through a case study, we demonstrate the benefits and limitations of using ML models or FM alone. We find that incorporating FM in the training and inference of an ML model yields not only more reliable results but also better performance in various downstream tasks. We hope that our paper inspires a tighter integration of FM-based and ML-based approaches in networking, facilitating the development of more robust and dependable systems.

References Powered by Scopus

Photo-realistic single image super-resolution using a generative adversarial network

8049Citations
N/AReaders
Get full text

Image Super-Resolution Using Deep Convolutional Networks

8037Citations
N/AReaders
Get full text

Z3: An efficient SMT Solver

5769Citations
N/AReaders
Get full text

Cited by Powered by Scopus

Zoom2Net: Constrained Network Telemetry Imputation

0Citations
N/AReaders
Get full text

Register to see more suggestions

Mendeley helps you to discover research relevant for your work.

Already have an account?

Cite

CITATION STYLE

APA

Gong, F., Raghunathan, D., Gupta, A., & Apostolaki, M. (2023). Towards Integrating Formal Methods into ML-Based Systems for Networking. In HotNets 2023 - Proceedings of the 22nd ACM Workshop on Hot Topics in Networks (pp. 48–55). Association for Computing Machinery, Inc. https://doi.org/10.1145/3626111.3628188

Readers over time

‘23‘24‘2502468

Readers' Seniority

Tooltip

Professor / Associate Prof. 1

25%

Lecturer / Post doc 1

25%

PhD / Post grad / Masters / Doc 1

25%

Researcher 1

25%

Readers' Discipline

Tooltip

Computer Science 3

60%

Business, Management and Accounting 1

20%

Social Sciences 1

20%

Save time finding and organizing research with Mendeley

Sign up for free
0