Learning to Split: A Reinforcement-Learning-Guided Splitting Heuristic for Neural Network Verification (Invited Talk).

Maya Swisa, Guy Katz

Browse the full CAV paper archive.