1 citations · 2 across the 3 of their papers we have counts for
7 papers
Implementation of Zero-shot Semantic Communication on Software Defined Radio
Thanh Le, Arif Dataesatu, Homare Murakami +1
Semantic communication has recently gained traction for its ability to reduce the amount of data transmitted over a communication link by transmitting a task-oriented representatio…
CLAD: Constrained Abstract Domain for Neural Network Verification
Hai Duong, Thanh Le, ThanhVu Nguyen
Neural network verification (NNV) formally verifies that a network satisfies a specified property for all inputs within a defined region. Modern NNV tools employ abstract domains t…
Verifying Neural Networks with Reinforcement Learning
Hai Duong, Thanh Le, ThanhVu Nguyen
Formal verification can play a key role in ensuring the reliability of Deep Neural Networks (DNNs) deployed in safety-critical systems. Modern DNN verifiers employ a branch-and-bou…
ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models
Hai Duong, Thanh Le, ThanhVu Nguyen
Transformer-based models are widely used for reasoning, coding, and multimodal agentic tasks. To provide formal assurance of desirable behaviors, such as robustness, safety, and fa…
Formal Verification for Deep Learning-based Power Control in Massive MIMO
Thanh Le, Takeshi Matsumura, Yusheng Ji +1
Deep learning is a promising approach to optimize wireless communication by simplifying the search for near-optimal solutions. Prior studies on deep learning-based wireless communi…
Verifying DNN-based Semantic Communication Against Generative Adversarial Noise
Thanh Le, Hai Duong, ThanhVu Nguyen +1
Safety-critical applications like autonomous vehicles and industrial IoT are adopting semantic communication (SemCom) systems using deep neural networks to reduce bandwidth and inc…
FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler
Thanh Le, Hai Duong, Yusheng Ji +2
In 5G mobile communication systems, MU-MIMO has been applied to enhance spectral efficiency and support high data rates. To maximize spectral efficiency while providing fairness am…