Search

Search Results

• Formally Verified Solution Methods for Markov Decision Processes

  Maximilian Schäffeler, Mohammad Abdulaziz

  15073-15081

  2023-06-26

• Improving Training and Inference of Face Recognition Models via Random Temperature Scaling

  Lei Shang, Mouxiao Huang, Wu Shi, Yuchen Liu, Yang Liu, Wang Steven, Baigui Sun, Xuansong Xie, Yu Qiao

  15082-15090

  2023-06-26

• Task and Model Agnostic Adversarial Attack on Graph Neural Networks

  Kartik Sharma, Samidha Verma, Sourav Medya, Arnab Bhattacharya, Sayan Ranu

  15091-15099

  2023-06-26

• Robust Sequence Networked Submodular Maximization

  Qihao Shi, Bingyang Fu, Can Wang, Jiawei Chen, Sheng Zhou, Yan Feng, Chun Chen

  15100-15108

  2023-06-26

• Safe Policy Improvement for POMDPs via Finite-State Controllers

  Thiago D. Simão, Marnix Suilen, Nils Jansen

  15109-15117

  2023-06-26

• STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning

  Nikhil Kumar Singh, Indranil Saha

  15118-15126

  2023-06-26

• Understanding and Enhancing Robustness of Concept-Based Models

  Sanchit Sinha, Mengdi Huai, Jianhui Sun, Aidong Zhang

  15127-15135

  2023-06-26

• Misspecification in Inverse Reinforcement Learning

  Joar Skalse, Alessandro Abate

  15136-15143

  2023-06-26

• Planning and Learning for Non-markovian Negative Side Effects Using Finite State Controllers

  Aishwarya Srivastava, Sandhya Saisubramanian, Praveen Paruchuri, Akshat Kumar, Shlomo Zilberstein

  15144-15151

  2023-06-26

• Toward Robust Uncertainty Estimation with Random Activation Functions

  Yana Stoyanova, Soroush Ghandi, Maryam Tavakol

  15152-15160

  2023-06-26

• Improving Robust Fariness via Balance Adversarial Training

  Chunyu Sun, Chenye Xu, Chengyuan Yao, Siyuan Liang, Yichao Wu, Ding Liang, Xianglong Liu, Aishan Liu

  15161-15169

  2023-06-26

• DPAUC: Differentially Private AUC Computation in Federated Learning

  Jiankai Sun, Xin Yang, Yuanshun Yao, Junyuan Xie, Di Wu, Chong Wang

  15170-15178

  2023-06-26

• Conflicting Interactions among Protection Mechanisms for Machine Learning Models

  Sebastian Szyller, N. Asokan

  15179-15187

  2023-06-26

• Neural Policy Safety Verification via Predicate Abstraction: CEGAR

  Marcel Vinzent, Siddhant Sharma, Jöerg Hoffmann

  15188-15196

  2023-06-26

• Towards Verifying the Geometric Robustness of Large-Scale Neural Networks

  Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang

  15197-15205

  2023-06-26

• Revisiting Item Promotion in GNN-Based Collaborative Filtering: A Masked Targeted Topological Attack Perspective

  Yongwei Wang, Yong Liu, Zhiqi Shen

  15206-15214

  2023-06-26

• Robust Average-Reward Markov Decision Processes

  Yue Wang, Alvaro Velasquez, George Atia, Ashley Prater-Bennette, Shaofeng Zou

  15215-15223

  2023-06-26

• Robust Graph Meta-Learning via Manifold Calibration with Proxy Subgraphs

  Zhenzhong Wang, Lulu Cao, Wanyu Lin, Min Jiang, Kay Chen Tan

  15224-15232

  2023-06-26

• HOTCOLD Block: Fooling Thermal Infrared Detectors with a Novel Wearable Design

  Hui Wei, Zhixiang Wang, Xuemei Jia, Yinqiang Zheng, Hao Tang, Shin'ichi Satoh, Zheng Wang

  15233-15241

  2023-06-26

• Beyond NaN: Resiliency of Optimization Layers in the Face of Infeasibility

  Wai Tuck Wong, Sarah Kinsey, Ramesha Karunasena, Thanh H. Nguyen, Arunesh Sinha

  15242-15250

  2023-06-26

• DeepGemini: Verifying Dependency Fairness for Deep Neural Network

  Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma

  15251-15259

  2023-06-26

• Auditing and Robustifying COVID-19 Misinformation Datasets via Anticontent Sampling

  Clay H. Yoo, Ashiqur R. KhudaBukhsh

  15260-15268

  2023-06-26

• User-Oriented Robust Reinforcement Learning

  Haoyi You, Beichen Yu, Haiming Jin, Zhaoxing Yang, Jiahui Sun

  15269-15277

  2023-06-26

• Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers

  Xia Zeng, Zhengfeng Yang, Li Zhang, Xiaochao Tang, Zhenbing Zeng, Zhiming Liu

  15278-15286

  2023-06-26

• Reachability Analysis of Neural Network Control Systems

  Chi Zhang, Wenjie Ruan, Peipei Xu

  15287-15295

  2023-06-26