Goto

Collaborating Authors

 Country





246a3c5544feb054f3ea718f61adfa16-Paper.pdf

Neural Information Processing Systems

Verification of neural networks enables us to gauge their robustness against adversarial attacks. Verification algorithms fall into two categories:exact verifiers that run in exponential time andrelaxed verifiers that are efficient but incomplete. In this paper, we unify all existing LP-relaxed verifiers, to the best of our knowledge, under a general convex relaxation framework.





e97ee2054defb209c35fe4dc94599061-Paper.pdf

Neural Information Processing Systems

In almost all dueling bandit applications, the decision space often changes over time; eg, retail store management, onlineshopping,restaurantrecommendation,searchengineoptimization,etc.