About me
I am a researcher in Wireless Systems Laboratory (WSL) at National Institute of Information and Communication Technology (NICT), Japan.
I focus on applying formal methods to verify and improve the robustness of AI-enabled wireless systems.
News
- 9/2026: NeurIPS’26 (co-first) paper on applying neural combinatorial optimization to accelerate branching decision in NeuralSAT
- 9/2026: NeuralSAT ranked 4th overall in VNN-COMP'26
- 9/2026: WPMC'26 paper, a software-defined radio implementation of semantic communication
- 7/2026: VTC Fall'26 paper, a verified DNN-based power allocation
- 2/2026: CVPR’26 highlight paper (co-author) on designing input robustness properties for image classification
- 1/2026: FSE’26 paper (co-first) on verifying signal processing-inspired robustness properties
moreless
- 12/2025: ICAIIC'26 paper, a verified robust Conv3D model for network traffic prediction
- 05/2025: Joined WSL, NICT
- 03/2025: Received the INOSE Student Encouragement Award of National Institute of Informatics (NII)
Publications
- “Verifying Neural Networks with Reinforcement Learning”
H. Duong*, T. Le*, TV. Nguyen
Neural Information Processing Systems (NeurIPS'26)
PDF - “Implementation of Zero-shot Semantic Communication on Software Defined Radio”
T. Le, A. Dataesatu, H. Murakami, T. Matsumura
Wireless Personal Multimedia Communications (WPMC'26)
PDF Code - “Formal Verification for Deep Learning-based Power Control in Massive MIMO”
T. Le, T. Matsumura, Y. Ji, JCS. Lui
Vehicular Technology Conference (VTC Fall'26), Sep. 2026
PDF Code - “Verifying Neural Network Robustness with Dual Perturbations”
H. Duong, L. Nguyen, T. Le, TV. Nguyen
Computer Vision and Pattern Recognition (CVPR'26), June 2026, ☆Highlight☆
PDF Code - “Verifying Structural Robustness of Deep Neural Network”
H. Duong*, T. Le*, L. Nguyen, TV. Nguyen
Foundations of Software Engineering (FSE'26), July 2026
PDF Code
moreless
Preprints
- “Neural Network Verification for Deep Joint Source-Channel Coding”
T. Le, H. Duong, T. Matsumura, TV. Nguyen
Submitted to IEEE Transactions on Machine Learning in Communications and Networking (TMLCN)
PDF Code Gist - “Towards Verifying Neural Networks against Multi-Parameter Bit-Flip Perturbations”
H. Duong, T. Le, N. Ho, TV. Nguyen
PDF - “CLAD: Constrained Abstract Domain for Neural Network Verification”
H. Duong, T. Le, TV. Nguyen
PDF - “ZonoGPT: Towards an Abstract Domain for Verifying Large GPT Models”
H. Duong, T. Le, TV. Nguyen
PDF - “FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler”
T. Le, H. Duong, Y. Ji, TV. Nguyen, JCS. Lui
PDF
Dissertation
Distributed Learning Techniques for Dynamic Access Control in massive Machine-Type Communication
Supervisor: Prof. Yusheng Ji
SOKENDAI, NII, Mar. 2025
Abstract
showhide
- “TinyQMIX: Distributed Access Control for mMTC via Multi-agent Reinforcement Learning”
T. Le, Y. Ji, JCS. Lui
Vehicular Technology Conference (VTC Fall'22), Sep. 2022
PDF - “MFTTS: A Mean-Field Transfer Thompson Sampling Approach for Distributed Power Allocation in Unsourced Multiple Access”
T. Le, Y. Ji, JCS. Lui
Transactions on Mobile Computing (Volume: 23, Issue: 12, Dec. 2024)
PDF
Services
- Review papers at TCCN, ComCom, ICC'22,23,25, GlobeCom'24,25, WPMC'26 Wksp, ICLR'27.
- Help review papers at ICML'26, NeurIPS'26, AAAI'27, POPL'27.
- TPC member at INFOCOM'26 Wksp.
Links
showhide
Tools
- NeuralSAT - An DNN verification tool
- Abstract Domain Explainer - A iteractive tutorial on DNN verification
- VietProfs - An directory of Vietnamese professors … in the world
- CS Picks - Tools for computer science PhD applicants and early-career researchers
- An website (AI slop) - AI ranking among Vietnamese universities