Human-Intent-Driven Cellular Configuration Generation Using Program Synthesis

Fuliang LI, Chenyang HEI, Jiaxing SHEN, Qing LI, Xingwei WANG

Research output: Journal PublicationsJournal Article (refereed)peer-review

1 Citation (Scopus)


Cellular networks are vital for emerging applications like the Metaverse, which impose demanding quality and quantity requirements. This necessitates frequent reconfiguration of both new and existing base stations to balance network service quality (e.g., ultra-low latency and high bandwidth) and resource consumption. Existing data-driven configuration methods learn from historical data, but have two key limitations. First, they yield only approximate solutions, lacking precision. Second, poor bootstrapping for new base stations with previously unobserved attributes. In this paper, we pioneer intent-driven configuration synthesis by designing an intent language and utilizing satisfiability modulo theory (SMT) for cellular networks to enable exact and precise solutions. We formulate synthesis as an SMT problem, permitting verification of precision. First, we cast configuration generation as a program synthesis problem via novel modeling to bridge the intent-configuration gap. Second, we extend SMT synthesis to scale to large networks. However, vanilla SMT approaches have poor scalability. Hence, we propose an optimization using sampling for constraint verification instead of exhaustive forward solving. We also design a domain-specific optimization to prune the sample space and improve efficiency. Experiments on various network scales demonstrate the effectiveness of our proposed SMT-based cellular network configuration synthesis.
Original languageEnglish
Article number10368062
Pages (from-to)658-668
Number of pages11
JournalIEEE Journal on Selected Areas in Communications
Issue number3
Early online date21 Dec 2023
Publication statusPublished - Mar 2024

Bibliographical note

Publisher Copyright:
© 2023 IEEE.


  • Intent-based network
  • cellular configuration
  • metaverse
  • program synthesis


Dive into the research topics of 'Human-Intent-Driven Cellular Configuration Generation Using Program Synthesis'. Together they form a unique fingerprint.

Cite this