Search

Search Results

• Stability Analysis of Switched Linear Systems with Neural Lyapunov Functions

  Virginie Debauche, Alec Edwards, Raphaël M. Jungers, Alessandro Abate

  21010-21018

  2024-03-24

• Robustness Verification of Multi-Class Tree Ensembles

  Laurens Devos, Lorenzo Cascioli, Jesse Davis

  21019-21028

  2024-03-24

• P2BPO: Permeable Penalty Barrier-Based Policy Optimization for Safe RL

  Sumanta Dey, Pallab Dasgupta, Soumyajit Dey

  21029-21036

  2024-03-24

• Trade-Offs in Fine-Tuned Diffusion Models between Accuracy and Interpretability

  Mischa Dombrowski, Hadrien Reynaud, Johanna P. Müller, Matthew Baugh, Bernhard Kainz

  21037-21045

  2024-03-24

• From Hope to Safety: Unlearning Biases of Deep Models via Gradient Penalization in Latent Space

  Maximilian Dreyer, Frederik Pahde, Christopher J. Anders, Wojciech Samek, Sebastian Lapuschkin

  21046-21054

  2024-03-24

• Automatically Testing Functional Properties of Code Translation Models

  Hasan Ferit Eniser, Valentin Wüstholz, Maria Christakis

  21055-21062

  2024-03-24

• A Simple and Yet Fairly Effective Defense for Graph Neural Networks

  Sofiane Ennadir, Yassine Abbahaddou, Johannes F. Lutzeyer, Michalis Vazirgiannis, Henrik Boström

  21063-21071

  2024-03-24

• Invisible Backdoor Attack against 3D Point Cloud Classifier in Graph Spectral Domain

  Linkun Fan, Fazhi He, Tongzhen Si, Wei Tang, Bing Li

  21072-21080

  2024-03-24

• CASE: Exploiting Intra-class Compactness and Inter-class Separability of Feature Embeddings for Out-of-Distribution Detection

  Shuai Feng, Pengsheng Jin, Chongjun Wang

  21081-21089

  2024-03-24

• Solving Non-rectangular Reward-Robust MDPs via Frequency Regularization

  Uri Gadot, Esther Derman, Navdeep Kumar, Maxence Mohamed Elfatihi, Kfir Levy, Shie Mannor

  21090-21098

  2024-03-24

• Balance Reward and Safety Optimization for Safe Reinforcement Learning: A Perspective of Gradient Manipulation

  Shangding Gu, Bilgehan Sel, Yuhao Ding, Lu Wang, Qingwei Lin, Ming Jin, Alois Knoll

  21099-21106

  2024-03-24

• π-Light: Programmatic Interpretable Reinforcement Learning for Resource-Limited Traffic Signal Control

  Yin Gu, Kai Zhang, Qi Liu, Weibo Gao, Longfei Li, Jun Zhou

  21107-21115

  2024-03-24

• Generative Model for Decision Trees

  Riccardo Guidotti, Anna Monreale, Mattia Setzu, Giulia Volpi

  21116-21124

  2024-03-24

• Omega-Regular Decision Processes

  Ernst Moritz Hahn, Mateo Perez, Sven Schewe, Fabio Somenzi, Ashutosh Trivedi, Dominik Wojtczak

  21125-21133

  2024-03-24

• Provable Robustness against a Union of L_0 Adversarial Attacks

  Zayd Hammoudeh, Daniel Lowd

  21134-21142

  2024-03-24

• All but One: Surgical Concept Erasing with Model Preservation in Text-to-Image Diffusion Models

  SeungHoo Hong, Juhun Lee, Simon S. Woo

  21143-21151

  2024-03-24

• Towards Efficient Verification of Quantized Neural Networks

  Pei Huang, Haoze Wu, Yuting Yang, Ieva Daukantas, Min Wu, Yedi Zhang, Clark Barrett

  21152-21160

  2024-03-24

• On the Concept Trustworthiness in Concept Bottleneck Models

  Qihan Huang, Jie Song, Jingwen Hu, Haofei Zhang, Yong Wang, Mingli Song

  21161-21168

  2024-03-24

• Personalization as a Shortcut for Few-Shot Backdoor Attack against Text-to-Image Diffusion Models

  Yihao Huang, Felix Juefei-Xu, Qing Guo, Jie Zhang, Yutong Wu, Ming Hu, Tianlin Li, Geguang Pu, Yang Liu

  21169-21178

  2024-03-24

• Stronger and Transferable Node Injection Attacks

  Samyak Jain, Tanima Dutta

  21179-21187

  2024-03-24

• Learning Fair Policies for Multi-Stage Selection Problems from Observational Data

  Zhuangzhuang Jia, Grani A. Hanasusanto, Phebe Vayanos, Weijun Xie

  21188-21196

  2024-03-24

• NeRFail: Neural Radiance Fields-Based Multiview Adversarial Attack

  Wenxiang Jiang, Hanwei Zhang, Xi Wang, Zhongwen Guo, Hao Wang

  21197-21205

  2024-03-24

• Analysis of Differentially Private Synthetic Data: A Measurement Error Approach

  Yangdi Jiang, Yi Liu, Xiaodong Yan, Anne-Sophie Charest, Linglong Kong, Bei Jiang

  21206-21213

  2024-03-24

• Chasing Fairness in Graphs: A GNN Architecture Perspective

  Zhimeng Jiang, Xiaotian Han, Chao Fan, Zirui Liu, Na Zou, Ali Mostafavi, Xia Hu

  21214-21222

  2024-03-24

• Assume-Guarantee Reinforcement Learning

  Milad Kazemi, Mateo Perez, Fabio Somenzi, Sadegh Soudjani, Ashutosh Trivedi, Alvaro Velasquez

  21223-21231

  2024-03-24