58 citations · 98 across the 7 of their papers we have counts for
7 papers
Mathesis: Towards Formal Theorem Proving from Natural Languages
Yu Xuejun, Jianyuan Zhong, Zijin Feng +17
Recent advances in large language models show strong promise for formal reasoning. However, most LLM-based theorem provers have long been constrained by the need for expert-written…
Towards Green Metaverse Networking Technologies, Advancements and Future Directions
Siyue Zhang, Wei Yang Bryan Lim, Wei Chong Ng +4
As the Metaverse is iteratively being defined, its potential to unleash the next wave of digital disruption and create real-life value becomes increasingly clear. With distinctive…
Stochastic Resource Allocation for Semantic Communication-aided Virtual Transportation Networks in the Metaverse
Wei Chong Ng, Hongyang Du, Wei Yang Bryan Lim +3
The physical-virtual world synchronization to develop the Metaverse will require a massive transmission and exchange of data. In this paper, we introduce semantic communication for…
A Full Dive into Realizing the Edge-enabled Metaverse: Visions, Enabling Technologies,and Challenges
Minrui Xu, Wei Chong Ng, Wei Yang Bryan Lim +6
Dubbed "the successor to the mobile Internet", the concept of the Metaverse has grown in popularity. While there exist lite versions of the Metaverse today, they are still far from…
Stochastic Coded Offloading Scheme for Unmanned Aerial Vehicle-Assisted Edge Computing
Wei Chong Ng, Wei Yang Bryan Lim, Zehui Xiong +4
Unmanned aerial vehicles (UAVs) have gained wide research interests due to their technological advancement and high mobility. The UAVs are equipped with increasingly advanced capab…
Optimal Stochastic Coded Computation Offloading in Unmanned Aerial Vehicles Network
Wei Chong Ng, Wei Yang Bryan Lim, Jer Shyuan Ng +3
Today, modern unmanned aerial vehicles (UAVs) are equipped with increasingly advanced capabilities that can run applications enabled by machine learning techniques, which require c…
Unified Resource Allocation Framework for the Edge Intelligence-Enabled Metaverse
Wei Chong Ng, Wei Yang Bryan Lim, Jer Shyuan Ng +3
Dubbed as the next-generation Internet, the metaverse is a virtual world that allows users to interact with each other or objects in real-time using their avatars. The metaverse is…