AAAI 2024

2,864 papers

Watch Your Head: Assembling Projection Heads to Save the Reliability of Federated Models

Jinqian Chen, Jihua Zhu, Qinghai Zheng, Zhongyu Li, Zhiqiang Tian

Accelerate Multi-Agent Reinforcement Learning in Zero-Sum Games with Subgame Curriculum Learning

Jiayu Chen, Zelai Xu, Yunfei Li, Chao Yu, Jiaming Song

On Disentanglement of Asymmetrical Knowledge Transfer for Modality-Task Agnostic Federated Learning

Jiayi Chen, Aidong Zhang

Bridging the Semantic Latent Space between Brain and Machine: Similarity Is All You Need

Jiaxuan Chen, Yu Qi, Yueming Wang, Gang Pan

Uncertainty Quantification for Data-Driven Change-Point Learning via Cross-Validation

Hui Chen, Yinxu Jia, Guanghui Wang, Changliang Zou

FedDAT: An Approach for Foundation Model Finetuning in Multi-Modal Heterogeneous Federated Learning

Haokun Chen, Yao Zhang, Denis Krompass, Jindong Gu, Volker Tresp

Adaptive Discovering and Merging for Incremental Novel Class Discovery

Guangyao Chen, Peixi Peng, Yangru Huang, Mengyue Geng, Yonghong Tian

A Generalized Shuffle Framework for Privacy Amplification: Strengthening Privacy Guarantees and Enhancing Utility

E Chen, Yang Cao, Yifei Ge

EPSD: Early Pruning with Self-Distillation for Efficient Model Compression

Dong Chen, Ning Liu, Yichen Zhu, Zhengping Che, Rui Ma

Data Shunt: Collaboration of Small and Large Models for Lower Costs and Better Performance

Dong Chen, Yueting Zhuang, Shuo Zhang, Jinfeng Liu, Su Dong

Focus-Then-Decide: Segmentation-Assisted Reinforcement Learning

Chao Chen, Jiacheng Xu, Weijian Liao, Hao Ding, Zongzhang Zhang

Offline Model-Based Optimization via Policy-Guided Gradient Search

Yassine Chemingui, Aryan Deshwal, Trong Nghia Hoang, Janardhan Rao Doppa

Incomplete Contrastive Multi-View Clustering with High-Confidence Guiding

Guoqing Chao, Yi Jiang, Dianhui Chu

Understanding Distributed Representations of Concepts in Deep Neural Networks without Supervision

Wonjoon Chang, Dahee Kwon, Jaesik Choi

Privacy Amplification by Iteration for ADMM with (Strongly) Convex Objective Functions

T-H. Hubert Chan, Hao Xie, Mengshi Zhao

Variable Importance in High-Dimensional Settings Requires Grouping

Ahmad CHAMMA, Bertrand Thirion, Denis Engemann

Learning to Unlearn: Instance-Wise Unlearning for Pre-trained Classifiers

Sungmin Cha, Sungjun Cho, Dasol Hwang, Honglak Lee, Taesup Moon

Continuous-Time Graph Representation with Sequential Survival Process

Abdulkadir Çelikkanat, Nikolaos Nakis, Morten Mørup

Mixup-Induced Domain Extrapolation for Domain Generalization

Meng Cao, Songcan Chen

EG-NAS: Neural Architecture Search with Fast Evolutionary Exploration

Zicheng Cai, Lei Chen, Peng Liu, Tongtao Ling, Yutao Lai

Kernelized Normalizing Constant Estimation: Bridging Bayesian Quadrature and Bayesian Optimization

Xu Cai, Jonathan Scarlett

MSGNet: Learning Multi-Scale Inter-series Correlations for Multivariate Time Series Forecasting

Wanlin Cai, Yuxuan Liang, Xianggen Liu, Jianshuai Feng, Yuankai Wu

Where and How to Attack? A Causality-Inspired Recipe for Generating Counterfactual Adversarial Examples

Ruichu Cai, Yuxuan Zhu, Jie Qiao, Zefeng Liang, Furui Liu

A Theory of Non-acyclic Generative Flow Networks

Leo Brunswic, Yinchuan Li, Yushun Xu, Yijun Feng, Shangling Jui

HyperFast: Instant Classification for Tabular Data

David Bonet, Daniel Mas Montserrat, Xavier Giró-i-Nieto, Alexander G. Ioannidis

MIND: Multi-Task Incremental Network Distillation

Jacopo Bonato, Francesco Pelosin, Luigi Sabetta, Alessandro Nicolosi

Axiomatic Aggregations of Abductive Explanations

Gagan Biradar, Yacine Izza, Elita Lobo, Vignesh Viswanathan, Yair Zick

Constraint Latent Space Matters: An Anti-anomalous Waveform Transformation Solution from Photoplethysmography to Arterial Blood Pressure

Cheng Bian, Xiaoyu Li, Qi Bi, Guangpu Zhu, Jiegeng Lyu

MEPSI: An MDL-Based Ensemble Pruning Approach with Structural Information

Xiao-Dong Bi, Shao-Qun Zhang, Yuan Jiang

DGCLUSTER: A Neural Framework for Attributed Graph Clustering via Modularity Maximization

Aritra Bhowmick, Mert Kosan, Zexi Huang, Ambuj Singh, Sourav Medya

Maximizing the Success Probability of Policy Allocations in Online Systems

Artem Betlei, Mariia Vladimirova, Mehdi Sebbar, Nicolas Urien, Thibaud Rahier

Simplicity Bias in Overparameterized Machine Learning

Yakir Berchenko

Scores for Learning Discrete Causal Graphs with Unobserved Confounders

Alexis Bellot, Junzhe Zhang, Elias Bareinboim

TREE-G: Decision Trees Contesting Graph Neural Networks

Maya Bechler-Speicher, Amir Globerson, Ran Gilad-Bachrach

Strong Baselines for Parameter-Efficient Few-Shot Fine-Tuning

Samyadeep Basu, Shell Hu, Daniela Massiceti, Soheil Feizi

Efficient Target Propagation by Deriving Analytical Solution

Yanhao Bao, Tatsukichi Shibuya, Ikuro Sato, Rei Kawakami, Nakamasa Inoue

Disentangled Partial Label Learning

Wei-Xuan Bao, Yong Rui, Min-ling Zhang

SpikingBERT: Distilling BERT to Train Spiking Language Models Using Implicit Differentiation

Malyaban Bal, Abhronil Sengupta

Combating Data Imbalances in Federated Semi-supervised Learning with Dual Regulators

Sikai Bai, Shuaicheng Li, Weiming Zhuang, Jie Zhang, Kunlin Yang

Regret Analysis of Policy Gradient Algorithm for Infinite Horizon Average Reward Markov Decision Processes

Qinbo Bai, Washim Uddin Mondal, Vaneet Aggarwal

Robustness-Guided Image Synthesis for Data-Free Quantization

Jianhong Bai, Yuchen Yang, Huanpeng Chu, Hualiang Wang, Zuozhu Liu

FairTrade: Achieving Pareto-Optimal Trade-Offs between Balanced Accuracy and Fairness in Federated Learning

Maryam Badar, Sandipan Sikdar, Wolfgang Nejdl, Marco Fisichella

Contextual Pre-planning on Reward Machine Abstractions for Enhanced Transfer in Deep Reinforcement Learning

Guy Azran, Mohamad H. Danesh, Stefano V. Albrecht, Sarah Keren

Contextual Pandora’s Box

Alexia Atsidakou, Constantine Caramanis, Evangelia Gergatsouli, Orestis Papadigenopoulos, Christos Tzamos

Taming Binarized Neural Networks and Mixed-Integer Programs

Johannes Aspman, Georgios Korpas, Jakub Marecek

Generator Assisted Mixture of Experts for Feature Acquisition in Batch

Vedang Asgaonkar, Aditya Jain, Abir De

Neural Network Approximators for Marginal MAP in Probabilistic Circuits

Shivvrat Arya, Tahrima Rahman, Vibhav Gogate

Task-Agnostic Privacy-Preserving Representation Learning for Federated Learning against Attribute Inference Attacks

Caridad Arroyo Arevalo, Sayedeh Leila Noorbakhsh, Yun Dong, Yuan Hong, Binghui Wang

Enhancing Training of Spiking Neural Network with Stochastic Latency

Srinivas Anumasa, Bhaskar Mukhoty, Velibor Bojkovic, Giulia De Masi, Huan Xiong

Generating Universal Adversarial Perturbations for Quantum Classifiers

Gautham Anil, Vishnu Vinod, Apurva Narayan

Formal Logic Enabled Personalized Federated Learning through Property Inference

Ziyan An, Taylor T. Johnson, Meiyi Ma

Active Learning Guided by Efficient Surrogate Learners

Yunpyo An, Suyeong Park, Kwang In Kim

Fluctuation-Based Adaptive Structured Pruning for Large Language Models

Yongqi An, Xu Zhao, Tao Yu, Ming Tang, Jinqiao Wang

Transfer and Alignment Network for Generalized Category Discovery

Wenbin An, Feng Tian, Wenkai Shi, Yan Chen, Yaqiang Wu

Elijah: Eliminating Backdoors Injected in Diffusion Models via Distribution Shift

Shengwei An, Sheng-Yen Chou, Kaiyuan Zhang, Qiuling Xu, Guanhong Tao

Optimal Transport with Tempered Exponential Measures

Ehsan Amid, Frank Nielsen, Richard Nock, Manfred K. Warmuth

Faithful Model Explanations through Energy-Constrained Conformal Counterfactuals

Patrick Altmeyer, Mojtaba Farmanbar, Arie van Deursen, Cynthia C. S. Liem

Limited Memory Online Gradient Descent for Kernelized Pairwise Learning with Dynamic Averaging

Hilal AlQuabeh, William de Vazelhes, Bin Gu

Understanding and Improving Optimization in Predictive Coding Networks

Nicholas Alonso, Jeffrey Krichmar, Emre Neftci

Sample Efficient Reinforcement Learning with Partial Dynamics Knowledge

Meshal Alharbi, Mardavij Roozbehani, Munther Dahleh

SimCS: Simulation for Domain Incremental Online Continual Segmentation

Motasem Alfarra, zhipeng cai, Adel Bibi, Bernard Ghanem, Matthias Müller

Pareto Front-Diverse Batch Multi-Objective Bayesian Optimization

Alaleh Ahmadianshalchi, Syrine Belakaria, Janardhan Rao Doppa

No Prejudice! Fair Federated Graph Neural Networks for Personalized Recommendation

Nimesh Agrawal, Anuj Kumar Sirohi, Sandeep Kumar, Jayadeva

Unsupervised Neighborhood Propagation Kernel Layers for Semi-supervised Node Classification

Sonny Achten, Francesco Tonin, Panagiotis Patrinos, Johan A.K. Suykens

Prot2Text: Multimodal Protein’s Function Generation with GNNs and Transformers

Hadi Abdine, Michail Chatzianastasis, Costas Bouyioukos, Michalis Vazirgiannis

Optimised Storage for Datalog Reasoning

Xinyue Zhang, Pan Hu, Yavor Nenov, Ian Horrocks

Decomposing Constraint Networks for Calculating c-Representations

Marco Wilhelm, Gabriele Kern-Isberner

Bilateral Gradual Semantics for Weighted Argumentation

Zongshun Wang, Yuping Shen

Non-flat ABA Is an Instance of Bipolar Argumentation

Markus Ulbricht, Nico Potyka, Anna Rapberger, Francesca Toni

Scalable Enumeration of Trap Spaces in Boolean Networks via Answer Set Programming

Giang Trinh, Belaid Benhamou, Samuel Pastva, Sylvain Soliman

NegVSR: Augmenting Negatives for Generalized Noise Modeling in Real-world Video Super-Resolution

Yexing Song, Meilin Wang, Zhijing Yang, Xiaoyu Xian, Yukai Shi

BeliefFlow: A Framework for Logic-Based Belief Diffusion via Iterated Belief Change

Nicolas Schwind, Katsumi Inoue, Sébastien Konieczny, Pierre Marquis

A Unified View on Forgetting and Strong Equivalence Notions in Answer Set Programming

Zeynep G. Saribatur, Stefan Woltran

Adaptive Reactive Synthesis for LTL and LTLf Modulo Theories

Andoni Rodríguez, César Sánchez

Reinforcement Learning and Data-Generation for Syntax-Guided Synthesis

Julian Parsert, Elizabeth Polgreen

A General Theoretical Framework for Learning Smallest Interpretable Models

Sebastian Ordyniak, Giacomo Paesani, Mateusz Rychlicki, Stefan Szeider

Auditable Algorithms for Approximate Model Counting

Kuldeep S. Meel, Supratik Chakraborty, S. Akshay

MINES: Message Intercommunication for Inductive Relation Reasoning over Neighbor-Enhanced Subgraphs

Ke Liang, Lingyuan Meng, sihang zhou, Wenxuan Tu, Siwei Wang

Relational Programming with Foundational Models

Ziyang Li, Jiani Huang, Jason Liu, Felix Zhu, Eric Zhao

Abstraction of Situation Calculus Concurrent Game Structures

Yves Lespérance, Giuseppe De Giacomo, Maryam Rostamigiv, Shakil M. Khan

INFORMEDQX: Informed Conflict Detection for Over-Constrained Problems

Viet-Man Le, Alexander Felfernig, Thi Ngoc Trang Tran, Mathias Uta

BAIT: Benchmarking (Embedding) Architectures for Interactive Theorem-Proving

Sean Lamont, Michael Norrish, Amir Dezfouli, Christian Walder, Paul Montague

Efficient Axiomatization of OWL 2 EL Ontologies from Data by Means of Formal Concept Analysis

Francesco Kriegel

On the Expressivity of Recurrent Neural Cascades

Nadezda Alexandrovna Knorozova, Alessandro Ronca

Minimal Macro-Based Rewritings of Formal Languages: Theory and Applications in Ontology Engineering (and Beyond)

Christian Kindermann, Anne-Marie George, Bijan Parsia, Uli Sattler

Exact ASP Counting with Compact Encodings

Mohimenul Kabir, Supratik Chakraborty, Kuldeep S. Meel

A Compiler for Weak Decomposable Negation Normal Form

Petr Illner, Petr Kučera

Learning MDL Logic Programs from Noisy Data

Céline Hocquette, Andreas Niskanen, Matti Järvisalo, Andrew Cropper

Knowledge Enhanced Representation Learning for Drug Discovery

Thanh Lam Hoang, Marco Luca Sbodio, Marcos Martinez Galindo, Mykhaylo Zayats, Raul Fernandez-Diaz

On the Structural Hardness of Answer Set Programming: Can Structure Efficiently Confine the Power of Disjunctions?

Markus Hecher, Rafael Kiesel

Linear-Time Verification of Data-Aware Processes Modulo Theories via Covers and Automata

Alessandro Gianola, Marco Montali, Sarah Winkler

Submodel Enumeration for CTL Is Hard

Nicolas Fröhlich, Arne Meier

Dynamic Tangled Derivative Logic of Metric Spaces

David Fernández-Duque, Yoàv Montacute

Towards Epistemic-Doxastic Planning with Observation and Revision

Thorsten Engesser, Andreas Herzig, Elise Perrotin

Redefining ABA+ Semantics via Abstract Set-to-Set Attacks

Yannis Dimopoulos, Wolfgang Dvořák, Matthias König, Anna Rapberger, Markus Ulbricht

Stable Model Semantics for Description Logic Terminologies

Federica Di Stefano, Mantas Šimkus

Learning Small Decision Trees for Data of Low Rank-Width

Konrad K. Dabrowski, Eduard Eiben, Sebastian Ordyniak, Giacomo Paesani, Stefan Szeider

Generalisation through Negation and Predicate Invention

David M. Cerna, Andrew Cropper

Computing the Why-Provenance for Datalog Queries via SAT Solvers

Marco Calautti, Ester Livshits, Andreas Pieris, Markus Schneider

Defeasible Normative Reasoning: A Proof-Theoretic Integration of Logical Argumentation

Ofer Arieli, Kees van Berkel, Christian Straßer