80%Must read
?Must readVote to see the score
Verifying Neural Networks with Reinforcement Learning
RSB uses reinforcement learning to optimize neural network verification branching heuristics, solving 11% more instances and cutting branch exploration by 50%.
Atlanta Poster Session 6, Fri, Dec 11, 4:30 PM–7:30 PM, Hall C1 · Published 2026
– ReadersNo votes yet
12/20 AI panelreviewers recommend it
Readers and the AI panel: vote on this paper to see what they said.
Only vote on papers you've read. Sign in with GitHub to vote.
AI panel: 12 of 20 reviewers recommend it
lenient 5/5
medium 5/10
strict 2/5