Neural Network Verification for Deep Joint Source-Channel Coding
cs.SE, cs.AI
Submitted: 2026-10-08
Updated: 2026-10-08
Terminology
Sources
- Formal Verification for Deep Learning-based Power Control in Massive MIMO
- Adam: A Method for Stochastic Optimization
- A DPLL(T) Framework for Verifying Deep Neural Networks
- The 6th International Verification of Neural Networks Competition (VNN-COMP 2025): Summary and Results
- FGGM: Formal Grey-box Gradient Method for Attacking DRL-based MU-MIMO Scheduler
- ZonoGPT: Towards An Abstract Domain for Verifying Large GPT Models
Related papers
- Falsification-Based Verification of LLM-Generated Optimization Models: Sound Test Batteries and Their Detection Limits
- GitSkills: A Dataset of Agent Skills on GitHub
- SABER: Benchmarking Operational Safety of LLM Coding Agents in Stateful Project Workspaces
- PackMonitor: Enabling Zero Package Hallucinations Through Decoding-Time Monitoring
- IntentCoding: Amplifying User Intent in Code Generation
- Incentives and Outcomes in Bug Bounties