Nuzzo, Pierluigi

7 publications

AISTATS 2025 A Safe Bayesian Learning Algorithm for Constrained MDPs with Bounded Constraint Violation Krishna C Kalagarla, Rahul Jain, Pierluigi Nuzzo

IJCAI 2025 Efficient Counterexample-Guided Fairness Verification and Repair of Neural Networks Using Satisfiability Modulo Convex Programming Arya Fayyazi, Yifeng Xiao, Pierluigi Nuzzo, Massoud Pedram

TMLR 2024 Unveiling Adversarially Robust Graph Lottery Tickets Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo

NeurIPSW 2023 Safe Posterior Sampling for Constrained MDPs with Bounded Constraint Violation Krishna C Kalagarla, Rahul Jain, Pierluigi Nuzzo

NeurIPSW 2023 Sparse but Strong: Crafting Adversarially Robust Graph Lottery Tickets Subhajit Dutta Chowdhury, Zhiyu Ni, Qingyuan Peng, Souvik Kundu, Pierluigi Nuzzo

UAI 2022 Optimal Control of Partially Observable Markov Decision Processes with Finite Linear Temporal Logic Constraints Krishna C. Kalagarla, Kartik Dhruva, Dongming Shen, Rahul Jain, Ashutosh Nayyar, Pierluigi Nuzzo

AAAI 2021 A Sample-Efficient Algorithm for Episodic Finite-Horizon MDP with Constraints Krishna Chaitanya Kalagarla, Rahul Jain, Pierluigi Nuzzo