- Our paper “Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees” has been accepted at AAAI 2024. Congratulations to Luca Marzari for leading the project! What a great start to 2024!
- Another collaboration with the colleagues from Oregon State University, Alp Aydeniz, and Kagan Tumer has been accepted at AAMAS 2024. Check out our abstract “Entropy Seeking Constrained Multiagent Reinforcement Learning” during the conference in May!