Search

Search Results

• DeepBern-Nets: Taming the Complexity of Certifying Neural Networks Using Bernstein Polynomial Activations and Precise Bound Propagation

  Haitham Khedr, Yasser Shoukry

  21232-21240

  2024-03-24

• Layer Attack Unlearning: Fast and Accurate Machine Unlearning via Layer Level Attack and Knowledge Distillation

  Hyunjune Kim, Sangyong Lee, Simon S. Woo

  21241-21248

  2024-03-24

• Quilt: Robust Data Segment Selection against Concept Drifts

  Minsu Kim, Seong-Hyeon Hwang, Steven Euijong Whang

  21249-21257

  2024-03-24

• OUTFOX: LLM-Generated Essay Detection Through In-Context Learning with Adversarially Generated Examples

  Ryuto Koike, Masahiro Kaneko, Naoaki Okazaki

  21258-21266

  2024-03-24

• Accelerating Adversarially Robust Model Selection for Deep Neural Networks via Racing

  Matthias König, Holger H. Hoos, Jan N. van Rijn

  21267-21275

  2024-03-24

• Robust Active Measuring under Model Uncertainty

  Merlijn Krale, Thiago D. Simão, Jana Tumova, Nils Jansen

  21276-21284

  2024-03-24

• Towards Large Certified Radius in Randomized Smoothing Using Quasiconcave Optimization

  Bo-Han Kung, Shang-Tse Chen

  21285-21293

  2024-03-24

• Contrastive Credibility Propagation for Reliable Semi-supervised Learning

  Brody Kutt, Pralay Ramteke, Xavier Mignot, Pamela Toman, Nandini Ramanan, Sujit Rokka Chhetri, Shan Huang, Min Du, William Hewlett

  21294-21303

  2024-03-24

• Exponent Relaxation of Polynomial Zonotopes and Its Applications in Formal Neural Network Verification

  Tobias Ladner, Matthias Althoff

  21304-21311

  2024-03-24

• I Prefer Not to Say: Protecting User Consent in Models with Optional Personal Data

  Tobias Leemann, Martin Pawelczyk, Christian Thomas Eberle, Gjergji Kasneci

  21312-21321

  2024-03-24

• Promoting Counterfactual Robustness through Diversity

  Francesco Leofante, Nico Potyka

  21322-21330

  2024-03-24

• Revisiting the Information Capacity of Neural Network Watermarks: Upper Bound Estimation and Beyond

  Fangqi Li, Haodong Zhao, Wei Du, Shilin Wang

  21331-21339

  2024-03-24

• PointCVaR: Risk-Optimized Outlier Removal for Robust 3D Point Cloud Classification

  Xinke Li, Junchi Lu, Henghui Ding, Changsheng Sun, Joey Tianyi Zhou, Yeow Meng Chee

  21340-21348

  2024-03-24

• Game-Theoretic Unlearnable Example Generator

  Shuang Liu, Yihan Wang, Xiao-Shan Gao

  21349-21358

  2024-03-24

• Beyond Traditional Threats: A Persistent Backdoor Attack on Federated Learning

  Tao Liu, Yuhang Zhang, Zhu Feng, Zhiqin Yang, Chen Xu, Dapeng Man, Wu Yang

  21359-21367

  2024-03-24

• Handling Long and Richly Constrained Tasks through Constrained Hierarchical Reinforcement Learning

  Yuxiao Lu, Arunesh Sinha, Pradeep Varakantham

  21368-21377

  2024-03-24

• Combining Graph Transformers Based Multi-Label Active Learning and Informative Data Augmentation for Chest Xray Classification

  Dwarikanath Mahapatra, Behzad Bozorgtabar, Zongyuan Ge, Mauricio Reyes, Jean-Philippe Thiran

  21378-21386

  2024-03-24

• Enumerating Safe Regions in Deep Neural Networks with Provable Probabilistic Guarantees

  Luca Marzari, Davide Corsi, Enrico Marchesini, Alessandro Farinelli, Ferdinando Cicalese

  21387-21394

  2024-03-24

• Divide-and-Aggregate Learning for Evaluating Performance on Unlabeled Data

  Shuyu Miao, Jian Liu, Lin Zheng, Hong Jin

  21395-21402

  2024-03-24

• SentinelLMs: Encrypted Input Adaptation and Fine-Tuning of Language Models for Private and Secure Inference

  Abhijit Mishra, Mingda Li, Soham Deo

  21403-21411

  2024-03-24

• Safeguarded Progress in Reinforcement Learning: Safe Bayesian Exploration for Control Policy Synthesis

  Rohan Mitta, Hosein Hasanbeig, Jun Wang, Daniel Kroening, Yiannis Kantaros, Alessandro Abate

  21412-21419

  2024-03-24

• Feature Unlearning for Pre-trained GANs and VAEs

  Saemi Moon, Seunghyuk Cho, Dongwoo Kim

  21420-21428

  2024-03-24

• Reward Certification for Policy Smoothed Reinforcement Learning

  Ronghui Mu, Leandro Soriano Marcolino, Yanghao Zhang, Tianle Zhang, Xiaowei Huang, Wenjie Ruan

  21429-21437

  2024-03-24

• EncryIP: A Practical Encryption-Based Framework for Model Intellectual Property Protection

  Xin Mu, Yu Wang, Zhengan Huang, Junzuo Lai, Yehong Zhang, Hui Wang, Yue Yu

  21438-21445

  2024-03-24

• Neural Closure Certificates

  Alireza Nadali, Vishnu Murali, Ashutosh Trivedi, Majid Zamani

  21446-21453

  2024-03-24