AAAI 2026

4,920 papers

Covariance Scattering Transforms

Andrea Cavallo, Ayushman Raghuvanshi, Sundeep Prabhakar Chepuri, Elvin Isufi

LUCID: Learning-Enabled Uncertainty-Aware Certification of Stochastic Dynamical Systems

Ernesto Casablanca, Oliver Schön, Paolo Zuliani, Sadegh Soudjani

Unpacking the Implicit Norm Dynamics of Sharpness-Aware Minimization in Tensorized Models

Tianxiao Cao, Kyohei Atarashi, Hisashi Kashima

PPFL: A Parameter Behavior-Driven Plug-in Personalization Engine for Federated Learning

Qianyue Cao, Zongwei Zhu, Zirui Lian, Rui Zhang, Boyu Li

Provably Efficient Multi-Objective Bandit Algorithms Under Preference-Centric Customization

Linfeng Cao, Ming Shi, Ness B. Shroff

Causality-Aware Efficient Exploration for Cooperative Multi-Agent Reinforcement Learning

Hongye Cao, Tianpei Yang, Fan Feng, Hammadi Rafik Ouariachi, Yali Du

PITE: Multi-Prototype Alignment for Individual Treatment Effect Estimation

Fuyuan Cao, Jiaxuan Zhang, Xiaoli Li

ProCache: Constraint-Aware Feature Caching with Selective Computation for Diffusion Transformer Acceleration

Fanpu Cao, Yaofo Chen, Zeng You, Wei Luo

Spiking Heterogeneous Graph Attention Networks

Buqing Cao, Qian Peng, Xiang Xie, Liang Chen, Min Shi

Stabilizing Self-Consuming Diffusion Models with Latent Space Filtering

Zhongteng Cai, Yaxuan Wang, Yang Liu, Xueru Zhang

HeadHunt-VAD: Hunting Robust Anomaly-Sensitive Heads in MLLM for Tuning-Free Video Anomaly Detection

Zhaolin Cai, Fan Li, Ziwei Zheng, Haixia Bi, Lijun He

Rethinking Explanation Evaluation Under the Retraining Scheme

Yi Cai, Thibaud Ardoin, Mayank Gulati, Gerhard Wunder

HyperGOOD: Towards Out-of-Distribution Detection in Hypergraphs

Tingyi Cai, Yunliang Jiang, Ming Li, Changqin Huang, Yujie Fang

Constrained Best Arm Identification with Tests for Feasibility

Ting Cai, Kirthevasan Kandasamy

Paths Not Taken: Structure-Based Pruning in PSDD Learning and Inference

Cory Butz, Alejandro Santoscoy-Rivero, Camilla Lewis

SafeMIL: Learning Offline Safe Imitation Policy from Non-Preferred Trajectories

Returaj Burnwal, Nirav Pravinbhai Bhatt, Balaraman Ravindran

Cancer Survival Prediction by Cyclic Generation and Multi-grained Alignment

Yongqi Bu, Qinggang Niu, Zhen Li, Yanyu Xu, Jun Wang

MechaFormer: Sequence Learning for Kinematic Mechanism Design Automation

Diana Bolanos, Mohammadmehdi Ataei, Pradeep Kumar Jayaraman

Asymptotic and Finite Sample Analysis of Nonexpansive Stochastic Approximations with Markovian Noise

Ethan Blaser, Shangtong Zhang

Condensed Data Expansion Using Model Inversion for Knowledge Distillation

Kuluhan Binici, Shivam Aggarwal, Cihan Acar, Nam Trung Pham, Karianto Leman

MDBench: Benchmarking Data-Driven Methods for Model Discovery

Amirmohammad Ziaei Bideh, Aleksandra Georgievska, Jonathan Gryak

DiffOP: Reinforcement Learning of Optimization-Based Control Policies via Implicit Policy Gradients

Yuexin Bian, Jie Feng, Yuanyuan Shi

FedALT: Federated Fine-Tuning Through Adaptive Local Training with Rest-of-World LoRA

Jieming Bian, Lei Wang, Letian Zhang, Jie Xu

Deep Clustering Based on Sparse Kolmogorov-Arnold Network and Spectral Constraint

Zixuan Bi, Yang Zhao, Ganchao Liu

Shaping Without Tearing: Controllable Diffeomorphic Deformations for Topology-Preserving 3D Point Cloud Augmentation

Jian Bi, Qianliang Wu, Jianjun Qian, Lei Luo, Jian Yang

Differentially Private Linear Programming: Reduced Sub-Optimality and Guaranteed Constraint Satisfaction

Alexander Benvenuti, Brendan Bialy, Miriam Dennis, Matthew Hale

Revisiting (Un)Fairness in Recourse by Minimizing Worst-Case Social Burden

Ainhize Barrainkua, Giovanni De Toni, Jose A. Lozano, Novi Quadrianto

Collaborative Dual Representations for Semi-Supervised Partial Label Learning

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

Multi-Level Domain Adaptation and Contrastive Domain Isolation with Bilinear Fusion for Patient Drug Response Prediction

Yuting Bai, Hanwen Lv, Wanwan Shi, Zhiyi Zou, Jiawei Luo

Medical Vision–Language Pretraining with LLM-Guided Temporal Supervision

Liang Bai, Zhi Wang, Huimin Yan, Xian Yang

Mechanistic Dissection of Cross-Attention Subspaces in Text-to-Image Diffusion Models

Jun-Hyun Bae, Wonyong Jo, Jaehyup Lee, Heechul Jung

Convergence of Fast Policy Iteration in Markov Games and Robust MDPs

Keith Badger, Jefferson Huang, Marek Petrik

Spectral Basis Learning for Expressive Graph Neural Networks in Link Prediction

Niloofar Azizi, Nils M. Kriege, Nicholas J. A. Harvey, Horst Bischof

SOSControl: Enhancing Human Motion Generation Through Saliency-Aware Symbolic Orientation and Timing Control

Ho Yin Au, Junkun Jiang, Jie Chen

FreDN: Spectral Disentanglement for Time Series Forecasting via Learnable Frequency Decomposition

Zhongde An, Jinhong You, Jiyanglin Li, Yiming Tang, Wen Li

Removing Box-Free Watermarks for Image-to-Image Models via Query-Based Reverse Engineering

Haonan An, Guang Hua, Hangcheng Cao, Zhengru Fang, Guowen Xu

Symmetric Aggregation of Conformity Scores for Efficient Uncertainty Sets

Nabil Alami, Jad Zakharia, Souhaib Ben Taieb

InfoQ: Mixed-Precision Quantization via Global Information Flow

Mehmet Emre Akbulut, Hazem Hesham Yousef Shalby, Fabrizio Pittorino, Manuel Roveri

PAGE: A Unified Approach for Federated Graph Unlearning

Yuming Ai, Xunkai Li, Jiaqi Chao, Bowen Fan, Zhengyu Wu

PharmaQA: Prompt-Based Molecular Representation Learning via Pharmacophore-Oriented Question Answering

Chengwei Ai, Qiaozhen Meng, Mengwei Sun, Ruihan Dong, Hongpeng Yang

Expressive Power of Graph Transformers via Logic

Veeti Ahvonen, Maurice Funk, Damian Heiman, Antti Kuusisto, Carsten Lutz

Stabilizing Policy Gradient Methods via Reward Profiling

Shihab Ahmed, El Houcine Bergou, Yue Wang, Aritra Dutta

RefiDiff: Progressive Refinement Diffusion for Efficient Missing Data Imputation

Md Atik Ahamed, Qiang Ye, Qiang Cheng

ProbLog4Fairness: A Neurosymbolic Approach to Modeling and Mitigating Bias

Rik Adriaensen, Lucas Van Praet, Jessa Bekker, Robin Manhaeve, Pieter Delobelle

Expressive Temporal Specifications for Reward Monitoring

Omar Adalat, Francesco Belardinelli

Constrained Online Convex Optimization with Memory and Predictions

Mohammed Abdullah, George Iosifidis, Salah Eddine Elayoubi, Tijani Chahed

DOS: Distilling Observable Softmaps of Zipfian Prototypes for Self-Supervised Point Representation

Mohamed Abdelsamad, Michael Ulrich, Bin Yang, Miao Zhang, Yakov Miron

Automatic Channel Pruning by Searching with Structure Embedding for Hash Network

Zifan Liu, Yuan Cao, Yifan Sun, Yanwei Yu, Heng Qi

EfficientFlow: Efficient Equivariant Flow Policy Learning for Embodied AI

Jianlei Chang, Ruofeng Mei, Wei Ke, Xiangyu Xu

FedGRPO: Privately Optimizing Foundation Models with Group-Relative Rewards from Domain Clients

Gongxi Zhu, Hanlin Gu, Lixin Fan, Qiang Yang, Yuxing Han

AgentODRL: A Large Language Model-based Multi-agent System for ODRL Generation

Wanle Zhong, Keman Huang, Xiaoyong Du

Incremental Maintenance of DatalogMTL Materialisations

Kaiyue Zhao, Dingqi Chen, Shaoyu Wang, Pan Hu

Learning to Disentangle Latent Reasoning Rules with Language VAEs: A Systematic Study

Yingji Zhang, Marco Valentino, Danilo Carvalho, Andre Freitas

Counterfactual Question Generation Uncovering Learner Contradictions

Bo Zhang, Hao Yu, Wenjie Dong, Yvhang Yang, Dezhuang Miao

SpatialLogic-Bench: A Diagnostic Benchmark for Task-Oriented Spatiotemporal Reasoning

Xiaoda Yang, Shenzhou Gao, Can Wang, Jiahe Zhang, Menglan Tang

Socrates or Smartypants: Testing Logic Reasoning Capabilities of Large Language Models with Logic Programming-Based Test Oracles

Zihao Xu, Junchen Ding, Yiling Lou, Kun Zhang, Dong Gong

Encode Geometric Diagram as Geo-Graph in Geometry Problem Solving

Wenjun Wu, Lingling Zhang, Bo Zhao, Bo Li, Xinyu Zhang

Convergent Semantics for Weighted Bipolar Argumentation

Zongshun Wang, Yuping Shen

A Knowledge Compilation Map for Quantum Information

Lieuwe Vinkhuijzen, Tim Coopmans, Alfons Laarman

A Robust Unlearning Method with Adaptive Knowledge Guidance and Memory Preservation

Jingyuan Tian, Xiaofei Zhou

Delphi: A Neuro-Symbolic Framework for Individualized, Safe and Interpretable Treatment Recommendation

Muchan Tao, Haonan Qin, Yuqi Fang, Caifeng Shan, Tieniu Tan

HierSearch: A Hierarchical Enterprise Deep Search Framework Integrating Local and Web Searches

Jiejun Tan, Zhicheng Dou, Yan Yu, Jiehan Cheng, Lifeng Liu

Description Logics with Two Types of Definite Descriptions: Complexity, Expressiveness, and Automated Deduction

Michał Sochański, Przemysław Andrzej Wałęga, Michał Zawidzki

EchoEdit: Consistent Multi-Hop Question Answering via Ripple Control in Knowledge Editing

Jinwei Shi, Wenxuan Huang, Yu Xing, Yunhui Liu, Tao Zheng

Truth-Tracking Evaluation in Opinion-Based Argumentation

Juliete Rossie, Jérôme Delobelle, Sébastien Konieczny, Srdjan Vesic

Aligning Cross-View Visual Geometries in LVLMs Through Human-Like Reasoning Learning

Yuming Qiao, Liang Luo, Dan Meng, Yifan Yang, Qingyuan Wang

Self-Supervised Inductive Logic Programming

Stassa Patsantzis

TFD-Net: Towards Intelligent Time-Frequency Mode Decomposition with Practical Applications

Pingping Pan, Yunjian Zhang, Jinyi Liu

Model Change for Description Logic Concepts

Ana Ozaki, Jandson S Ribeiro

Variance Computation for Weighted Model Counting with Knowledge Compilation Approach

Kengo Nakamura, Masaaki Nishino, Norihito Yasuda

Rational Revision of Group Intentions

Nima Motamed, Natasha Alechina, Mehdi Dastani, Dragan Doder

Structure-Aware Encodings of Argumentation Properties for Clique-width

Yasir Mahmood, Markus Hecher, Johanna Groven, Johannes K. Fichte

KeenKT: Knowledge Mastery-State Disambiguation for Knowledge Tracing

Zhifei Li, Lifan Chen, Jiali Yi, Xiaoju Hou, Yue Zhao

MyGram: Modality-aware Graph Transformer with Global Distribution for Multi-modal Entity Alignment

Zhifei Li, Ziyue Qin, Xiangyu Luo, Xiaoju Hou, Yue Zhao

From Dialogue to Destination: Geography-Aware Large Language Models with Multimodal Fusion for Conversational Recommendation

Yeming Li, Chenxi Liu, Jie Zou, Cheng Long, Chaoning Zhang

A Logical Analysis of an Information Filtering Architecture Based on Epistemic Trust Inference

Xu Li, Leendert van der Torre, Liuwen Yu

PCoKG: Personality-aware Commonsense Reasoning with Debate

Weijie Li, Zhongqing Wang, Guodong Zhou

Multi-Modal Fact Knowledge Generation for Imbalanced Cross-Source Entity Alignment

Qian Li, Cheng Ji, Zhaoji Liang, Yuzheng Zhang, Zhuo Chen

Discovering Latent Facts from Context to Construct Richer Open Knowledge Graphs

Jinpeng Li, Hang Yu, Ziqi Ma, Peng Qi

SITA: A Framework for Structure-to-Instance Theorem Autoformalization

Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

Consistency-based Abductive Reasoning over Perceptual Errors of Multiple Pre-trained Models in Novel Environments

Mario Leiva, Noel Ngu, Joshua Shay Kricheli, Aditya Taparia, Ransalu Senanayake

Robust Lazy Conflict Detection via Multi-Conflict Extraction and Genetic Diversity Control

Viet-Man Le, Lukas André Feldgrill, Alexander Felfernig

Tractable Weighted First-Order Model Counting with Bounded Treewidth Binary Evidence

Václav Kůla, Qipeng Kuang, Yuyi Wang, Yuanhong Wang, Ondrej Kuzelka

Can You Tell the Difference? Contrastive Explanations for ABox Entailments

Patrick Koopmann, Yasir Mahmood, Axel-Cyrille Ngonga Ngomo, Balram Tiwari

Causal, Strategic, and Combined Responsibility Attribution in Situation Calculus Concurrent Game Structures

MohammadHossein Karimian, Shakil M Khan, Yves Lespérance

Enhancing Strategy Logic with Procedural Rationality

Ruiqi Jin, Shuyi Li, Yongmei Liu

Enumerating Minimal Unsatisfiable Cores of LTLf Formulae

Antonio Ielo, Giuseppe Mazzotta, Rafael Peñaloza, Francesco Ricca

Revisiting Conjunctive Query Entailment for S

Yazmín Ibáñez-García, Jean Christoph Jung, Vincent Michielini, Filip Murlak

Extending Description Logics with Generic Concepts – the Case of Terminologies

Joshua Hirschbrunn, Yevgeny Kazakov

The Correspondence Between Bounded Graph Neural Networks and Fragments of First-Order Logic

Bernardo Cuenca Grau, Eva Feng, Przemysław Andrzej Wałęga

Non-Monotonic S4F Standpoint Logic

Piotr Gorczyca, Hannes Strass

Heterogeneous Graph Neural Networks for Assumption-Based Argumentation

Preesha Gehlot, Anna Rapberger, Fabrizio Russo, Francesca Toni

Matrix Editing Meets Fair Clustering: Parameterized Algorithms and Complexity

Robert Ganian, Hung P. Hoang, Simon Wietheger

Formal Verification of Diffusion Auctions

Rustam Galimullin, Munyque Mittelmann, Laurent Perrussel

Active Learning of Symbolic Automata over Rational Numbers

Sebastian Hagedorn Gaete, Martín Muñoz, Cristian Riveros, Rodrigo Toro Icarte

Two Heads Are Better than One: Distilling Large Language Model Features into Small Models with Feature Decomposition and Mixture

Tianhao Fu, Xinxin Xu, Weichen Xu, Jue Chen, Ruilong Ren

Computing Syntax Tree-based Minimal Unsatisfiable Cores of LTLf Formulas

Valeria Fionda, Antonio Ielo, Francesco Ricca

Decidable Multi-agent Epistemic Planning: A Situation Calculus Approach

Qihui Feng, Gerhard Lakemeyer

GraphOracle: Efficient Fully-Inductive Knowledge Graph Reasoning via Relation-Dependency Graphs

Enjun Du, Siyi Liu, Yongqi Zhang

Strategic Reasoning over Golog Programs in the Nondeterministic Situation Calculus

Giuseppe De Giacomo, Yves Lespérance, Matteo Mancanelli