AAAI 2023

2,023 papers

Multimodal Propaganda Processing

Vincent Ng, Shengjie Li

Foundations of Cooperative AI

Vincent Conitzer, Caspar Oesterheld

Probabilistic Programs as an Action Description Language

Ronen I. Brafman, David Tolpin, Or Wertheim

Towards Safe AI: Sandboxing DNNs-Based Controllers in Stochastic Games

Bingzhuo Zhong, Hongpeng Cao, Majid Zamani, Marco Caccamo

Rethinking Safe Control in the Presence of Self-Seeking Humans

Zixuan Zhang, Maitham AL-Sunni, Haoming Jing, Hirokazu Shirado, Yorie Nakahira

Video-Audio Domain Generalization via Confounder Disentanglement

Shengyu Zhang, Xusheng Feng, Wenyan Fan, Wenjing Fang, Fuli Feng

Evaluating Model-Free Reinforcement Learning toward Safety-Critical Tasks

Linrui Zhang, Qin Zhang, Li Shen, Bo Yuan, Xueqian Wang

Robustness to Spurious Correlations Improves Semantic Out-of-Distribution Detection

Lily H. Zhang, Rajesh Ranganath

BIFRNet: A Brain-Inspired Feature Restoration DNN for Partially Occluded Image Recognition

Jiahong Zhang, Lihong Cao, Qiuxia LAI, Bingyao Li, Yunxiao Qin

Reachability Analysis of Neural Network Control Systems

Chi Zhang, Wenjie Ruan, Peipei Xu

Safety Verification of Nonlinear Systems with Bayesian Neural Network Controllers

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

User-Oriented Robust Reinforcement Learning

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

Auditing and Robustifying COVID-19 Misinformation Datasets via Anticontent Sampling

Clay H. Yoo, Ashiqur R. KhudaBukhsh

DeepGemini: Verifying Dependency Fairness for Deep Neural Network

Xuan Xie, Fuyuan Zhang, Xinwen Hu, Lei Ma

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

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

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

Hui Wei, Zhixiang Wang, Xuemei Jia, Yinqiang Zheng, Hao Tang

Robust Graph Meta-Learning via Manifold Calibration with Proxy Subgraphs

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

Robust Average-Reward Markov Decision Processes

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

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

Yongwei Wang, Yong Liu, Zhiqi Shen

Towards Verifying the Geometric Robustness of Large-Scale Neural Networks

Fu Wang, Peipei Xu, Wenjie Ruan, Xiaowei Huang

Neural Policy Safety Verification via Predicate Abstraction: CEGAR

Marcel Vinzent, Siddhant Sharma, Joerg Hoffmann

Conflicting Interactions among Protection Mechanisms for Machine Learning Models

Sebastian Szyller, N. Asokan

DPAUC: Differentially Private AUC Computation in Federated Learning

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

Improving Robust Fariness via Balance Adversarial Training

Chunyu Sun, Chenye Xu, Chengyuan Yao, Siyuan Liang, Yichao Wu

Toward Robust Uncertainty Estimation with Random Activation Functions

Yana Stoyanova, Soroush Ghandi, Maryam Tavakol

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

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

Misspecification in Inverse Reinforcement Learning

Joar Skalse, Alessandro Abate

Understanding and Enhancing Robustness of Concept-Based Models

Sanchit Sinha, Mengdi Huai, Jianhui Sun, Aidong Zhang

STL-Based Synthesis of Feedback Controllers Using Reinforcement Learning

Nikhil Kumar Singh, Indranil Saha

Safe Policy Improvement for POMDPs via Finite-State Controllers

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

Robust Sequence Networked Submodular Maximization

Qihao Shi, Bingyang Fu, Can Wang, Jiawei Chen, Sheng Zhou

Task and Model Agnostic Adversarial Attack on Graph Neural Networks

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

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

Lei Shang, Mouxiao Huang, Wu Shi, Yuchen Liu, Yang Liu

Formally Verified Solution Methods for Markov Decision Processes

Maximilian Schäffeler, Mohammad Abdulaziz

Defending from Physically-Realizable Adversarial Attacks through Internal Over-Activation Analysis

Giulio Rossolini, Federico Nesti, Fabio Brau, Alessandro Biondi, Giorgio Buttazzo

Constrained Reinforcement Learning in Hard Exploration Problems

Pathmanathan Pankayaraj, Pradeep Varakantham

Certified Policy Smoothing for Cooperative Multi-Agent Reinforcement Learning

Ronghui Mu, Wenjie Ruan, Leandro Soriano Marcolino, Gaojie Jin, Qiang Ni

Monitoring Model Deterioration with Explainable Uncertainty Estimation via Non-parametric Bootstrap

Carlos Mougan, Dan Saattrup Nielsen

Anonymization for Skeleton Action Recognition

Saemi Moon, Myeonghyeon Kim, Zhenyue Qin, Yang Liu, Dongwoo Kim

A Risk-Sensitive Approach to Policy Optimization

Jared Markowitz, Ryan W. Gardner, Ashley Llorens, Raman Arora, I-Jeng Wang

A Holistic Approach to Undesired Content Detection in the Real World

Todor Markov, Chong Zhang, Sandhini Agarwal, Florentine Eloundou Nekoul, Theodore Lee

Rethinking Label Refurbishment: Model Robustness under Label Noise

Yangdi Lu, Zhiwei Xu, Wenbo He

PLMmark: A Secure and Robust Black-Box Watermarking Framework for Pre-trained Language Models

Peixuan Li, Pengzhou Cheng, Fangqi Li, Wei Du, Haodong Zhao

WAT: Improve the Worst-Class Robustness in Adversarial Training

Boqi Li, Weiwei Liu

Revisiting the Importance of Amplifying Bias for Debiasing

Jungsoo Lee, Jeonghoon Park, Daeyoung Kim, Juyoung Lee, Edward Choi

Quantization-Aware Interval Bound Propagation for Training Certifiably Robust Quantized Neural Networks

Mathias Lechner, Đorđe Žikelić, Krishnendu Chatterjee, Thomas A. Henzinger, Daniela Rus

Robust Image Steganography: Hiding Messages in Frequency Coefficients

Yuhang Lan, Fei Shang, Jianhua Yang, Xiangui Kang, Enping Li

A Semidefinite Relaxation Based Branch-and-Bound Method for Tight Neural Network Verification

Jianglin Lan, Benedikt Brückner, Alessio Lomuscio

Iteratively Enhanced Semidefinite Relaxations for Efficient Neural Network Verification

Jianglin Lan, Yang Zheng, Alessio Lomuscio

Heuristic Search in Dual Space for Constrained Fixed-Horizon POMDPs with Durative Actions

Majid Khonji, Duoaa Khalifa

Sample-Dependent Adaptive Temperature Scaling for Improved Calibration

Tom Joy, Francesco Pinto, Ser-Nam Lim, Philip H.S. Torr, Puneet K. Dokania

READ: Aggregating Reconstruction Error into Out-of-Distribution Detection

Wenyu Jiang, Yuxin Ge, Hao Cheng, Mingcai Chen, Shuai Feng

Formalising the Robustness of Counterfactual Explanations for Neural Networks

Junqi Jiang, Francesco Leofante, Antonio Rago, Francesca Toni

CodeAttack: Code-Based Adversarial Attacks for Pre-trained Programming Language Models

Akshita Jha, Chandan K. Reddy

Improving Adversarial Robustness with Self-Paced Hard-Class Pair Reweighting

Pengyue Hou, Jie Han, Xingyu Li

Redactor: A Data-Centric and Individualized Defense against Inference Attacks

Geon Heo, Steven Euijong Whang

Robust Training of Neural Networks against Bias Field Perturbations

Patrick Henriksen, Alessio Lomuscio

Test Time Augmentation Meets Post-hoc Calibration: Uncertainty Quantification under Real-World Conditions

Achim Hekler, Titus J. Brinker, Florian Buettner

AutoCost: Evolving Intrinsic Cost for Zero-Violation Reinforcement Learning

Tairan He, Weiye Zhao, Changliu Liu

Contrastive Self-Supervised Learning Leads to Higher Adversarial Susceptibility

Rohit Gupta, Naveed Akhtar, Ajmal Mian, Mubarak Shah

Out-of-Distribution Detection Is Not All You Need

Joris Guerin, Kevin Delmas, Raul Ferreira, Jérémie Guiochet

Junyao Gao, XINYANG JIANG, Huishuai Zhang, Yifan Yang, Shuguang Dou

PatchNAS: Repairing DNNs in Deployment with Patched Network Architecture Search

Yuchu Fang, Wenzhong Li, Yao Zeng, Yang Zheng, Zheng Hu

SafeLight: A Reinforcement Learning Method toward Collision-Free Traffic Signal Control

Wenlu Du, Junyi Ye, Jingyi Gu, Jing Li, Hua Wei

Correct-by-Construction Reinforcement Learning of Cardiac Pacemakers from Duration Calculus Requirements

Kalyani Dole, Ashutosh Gupta, John Komp, Shankaranarayanan Krishna, Ashutosh Trivedi

Feature-Space Bayesian Adversarial Learning Improved Malware Detector Robustness

Bao Gia Doan, Shuiqiao Yang, Paul Montague, Olivier De Vel, Tamas Abraham

Testing the Channels of Convolutional Neural Networks

Kang Choi, Donghyun Son, Younghoon Kim, Jiwon Seo

Two Wrongs Don’t Make a Right: Combating Confirmation Bias in Learning with Label Noise

Mingcai Chen, Hao Cheng, Yuntao Du, Ming Xu, Wenyu Jiang

PowRL: A Reinforcement Learning Framework for Robust Management of Power Networks

Anandsingh Chauhan, Mayank Baranwal, Ansuma Basumatary

Safe Reinforcement Learning via Shielding under Partial Observability

Steven Carr, Nils Jansen, Sebastian Junges, Ufuk Topcu

Ensemble-in-One: Ensemble Learning within Random Gated Networks for Enhanced Adversarial Robustness

Yi Cai, Xuefei Ning, Huazhong Yang, Yu Wang

Robust-by-Design Classification via Unitary-Gradient Neural Networks

Fabio Brau, Giulio Rossolini, Alessandro Biondi, Giorgio Buttazzo

Attention-Conditioned Augmentations for Self-Supervised Anomaly Detection and Localization

Behzad Bozorgtabar, Dwarikanath Mahapatra

Accelerating Inverse Learning via Intelligent Localization with Exploratory Sampling

Sirui Bi, Victor Fung, Jiaxin Zhang

Probabilities Are Not Enough: Formal Controller Synthesis for Stochastic Dynamical Models with Epistemic Uncertainty

Thom Badings, Licio Romao, Alessandro Abate, Nils Jansen

Query-Based Hard-Image Retrieval for Object Detection at Test Time

Edward Ayers, Jonathan Sadeghi, John Redford, Romain Mueller, Puneet K. Dokania

Implicit Bilevel Optimization: Differentiating through Bilevel Optimization Programming

Francesco Alesiani

Shielding in Resource-Constrained Goal POMDPs

Michal Ajdarów, Šimon Brlej, Petr Novotný

Formally Verified SAT-Based AI Planning

Mohammad Abdulaziz, Friedrich Kurz

OpenMapFlow: A Library for Rapid Map Creation with Machine Learning and Remote Sensing Data

Ivan Zvonkov, Gabriel Tseng, Catherine Nakalembe, Hannah Kerner

People Taking Photos That Faces Never Share: Privacy Protection and Fairness Enhancement from Camera to User

Junjie Zhu, Lin Gu, Xiaoxiao Wu, Zheng Li, Tatsuya Harada

A Crowd-AI Collaborative Duo Relational Graph Learning Framework towards Social Impact Aware Photo Classification

Yang Zhang, Ziyi Kou, Lanyu Shang, Huimin Zeng, Zhenrui Yue

Future Aware Pricing and Matching for Sustainable On-Demand Ride Pooling

Xianjie Zhang, Pradeep Varakantham, Hao Jiang

A Continual Pre-training Approach to Tele-Triaging Pregnant Women in Kenya

Wenbo Zhang, Hangzhi Guo, Prerna Ranganathan, Jay Patel, Sathyanath Rajasekharan

Censored Fairness through Awareness

Wenbin Zhang, Tina Hernandez-Boussard, Jeremy Weiss

On the Effectiveness of Curriculum Learning in Educational Text Scoring

Zijie Zeng, Dragan Gasevic, Guangliang Chen

Deep Learning on a Healthy Data Diet: Finding Important Examples for Fairness

Abdelrahman Zayed, Prasanna Parthasarathi, Gonçalo Mordido, Hamid Palangi, Samira Shabanian

ERASER: AdvERsArial Sensitive Element Remover for Image Privacy Preservation

Guang Yang, Juan Cao, Danding Wang, Peng Qi, Jintao Li

Auto-CM: Unsupervised Deep Learning for Satellite Imagery Composition and Cloud Masking Using Spatio-Temporal Dynamics

Yiqun Xie, Zhili Li, Han Bao, Xiaowei Jia, Dongkuan Xu

Privacy-Preserved Evolutionary Graph Modeling via Gromov-Wasserstein Autoregression

Yue Xiang, Dixin Luo, Hongteng Xu

Semi-supervised Credit Card Fraud Detection via Attribute-Driven Graph Representation

Sheng Xiang, Mingzhi Zhu, Dawei Cheng, Enxia Li, Ruihui Zhao

Noise Based Deepfake Detection via Multi-Head Relative-Interaction

Tianyi Wang, Kam Pui Chow

PateGail: A Privacy-Preserving Mobility Trajectory Generator with Imitation Learning

Huandong Wang, Changzheng Gao, Yuchen Wu, Depeng Jin, Lina Yao

MixFairFace: Towards Ultimate Fairness via MixFair Adapter in Face Recognition

Fu-En Wang, Chien-Yi Wang, Min Sun, Shang-Hong Lai

Everyone’s Voice Matters: Quantifying Annotation Disagreement Using Demographic Information

Ruyuan Wan, Jaehyung Kim, Dongyeop Kang

Evaluating Digital Agriculture Recommendations with Causal Inference

Ilias Tsoumas, Georgios Giannarakis, Vasileios Sitokonstantinou, Alkiviadis Koukos, Dimitra Loka

Weather2vec: Representation Learning for Causal Inference with Non-local Confounding in Air Pollution and Climate Studies

Mauricio Tec, James G. Scott, Corwin M. Zigler

City-Scale Pollution Aware Traffic Routing by Sampling Max Flows Using MCMC

Shreevignesh Suriyanarayanan, Praveen Paruchuri, Girish Varma

Daycare Matching in Japan: Transfers and Siblings

Zhaohong Sun, Yoshihiro Takenami, Daisuke Moriwaki, Yoji Tomita, Makoto Yokoo

Practical Disruption of Image Translation Deepfake Networks

Nataniel Ruiz, Sarah Adel Bargal, Cihang Xie, Stan Sclaroff