3 papers
cs.LO2026
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…
cs.NI2026
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…
cs.LG2025
The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
Konstantin Kaulen, Tobias Ladner, Stanley Bak +8
This report summarizes the 6th International Verification of Neural Networks Competition (VNN-COMP 2025), held as a part of the 8th International Symposium on AI Verification (SAIV…