Showing cs.LGShow all
2 papers · 1 filter
cs.LG2026
Lookahead Branching for Neural Network Verification
Liam Davis, Duo Zhou, Huan Zhang +3
In this work, we investigate the effect of lookahead branching strategies in neural network verification. We present a general recipe to integrate lookahead into any branch-and-bou…
cs.LG2026
Analyzing Adversarial Inputs in Deep Reinforcement Learning
Davide Corsi, Guy Amir, Guy Katz +1
In recent years, Deep Reinforcement Learning (DRL) has become a popular paradigm in machine learning due to its successful applications to real-world and complex systems. However,…