Assistant Professor, Worcester Polytechnic Institute
2 papers at NeurIPS 2025
We show how to efficiently verify approximate optimaility of smooth policies and strategies in bandits and games
We systematically collect and unify different notions of 'linear regions' of ReLU networks from the literature and study the computational complexity of counting them.
