4 citations · 6 across the 4 of their papers we have counts for
Showing 2025Show all
2 papers · 1 filter
cs.LG2025★ 4 cited
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…
cs.NI2025★ 1 cited
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…