most citedVerifying DNN-based Semantic Communication Against Generative Adversarial Noise

1 citations · 2 across the 3 of their papers we have counts for

collaborators
Showing cs.LGShow all

2 papers · 1 filter

cs.LG2026

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…

cs.LG2026

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…