Poster · Atlanta

Verifying Neural Networks with Reinforcement Learning

Name: Verifying Neural Networks with Reinforcement Learning
Start: 2026-12-11T16:30:00-05:00
End: 2026-12-11T19:30:00-05:00
Location: Hall C1, Georgia World Congress Center

When: Fri 11 Dec 2026, 16:30–19:30 EST
Where: Hall C1, Georgia World Congress Center
Session: Atlanta Poster Session 6
Authors: Hai Duong, Thanh Le, ThanhVu Nguyen
Organisations: George Mason University, NICT
QRS classification: Reinforcement learning

Open in schedule Official page