AAAI 2026

4,920 papers

Dual-Kernel Graph Community Contrastive Learning

Xiang Chen, Kun Yue, Wenjie Liu, Zhenyu Zhang, Liang Duan

ProRec-Video: Guiding Hierarchical Interest Transitions for Proactive Short Video Recommendation with Dynamic Feedback Adaptation

Weizhi Chen, Baoyun Peng, Bo Liu, Xingkong Ma, Houjie Qiu

Transform-Free Feature Coding via Entropy-Constrained Vector Quantization

Qiaoxi Chen, Changsheng Gao, Li Li, Dong Liu

Diffusion Reconstruction-based Data Likelihood Estimation for Core-Set Selection

Mingyang Chen, JIAWEI DU, Bo Huang, Yi Wang, Xiaobo Zhang

Breaking the Aggregation Bottleneck in Federated Recommendation: A Personalized Model Merging Approach

Jundong Chen, Honglei Zhang, Chunxu Zhang, Fangyuan Luo, Yidong Li

MISF: MLLM Guided Iterative Sample Filtering for Data Fault Detection

Guoying Chen, Ruizhuo Zhao, Zhewei Xu, Bo Yang, Kunlong Wang

Learning to Compress Graphs via Dual Agents for Consistent Topological Robustness Evaluation

Qisen Chai, Yansong Wang, Junjie Huang, Tao Jia

VBF++: Variational Bayesian Fusion with Context-Aware Priors and Recommendation-Guided Adversarial Refinement for Multimodal Video Recommendation

Ziyi Cao, Rui Liu, Yong Chen

Augmenting Intra-Modal Understanding in MLLMs for Robust Multimodal Keyphrase Generation

Jiajun Cao, Qinggang Zhang, Yunbo Tang, Zhishang Xiang, Chang Yang

HCF: Hierarchical Cascade Framework for Distributed Multi-Stage Image Compression

Junhao Cai, Taegun An, Chengjun Jin, Sung Il Choi, Juhyun Park

F2RVLM: Boosting Fine-grained Fragment Retrieval for Multi-Modal Long-form Dialogue with Vision Language Model

Hanbo Bi, Zhiqiang Yuan, Zexi Jia, Jiapei Zhang, Chongyang Li

Fidelity-Aware Recommendation Explanations via Stochastic Path Integration

Oren Barkan, Yahlly Schein, Yehonatan Elisha, Veronika Bogina, Mikhail Baklanov

DynaQuant: Dynamic Mixed-Precision Quantization for Learned Image Compression

Youneng Bao, Yulong Cheng, Yiping Liu, Yichen Yang, Peng Qin

NP-MiSR: Neural Process-based Multi-Interest Learning for Session-Based Recommendation

Jun Bao, Junbo Wang, Yiheng Jiang, Xiangfeng Liu, Mingyang Lv

Brownian Bridge Augmented Surrogate Simulation and Injection Planning for Geological CO2 Storage

Haoyue Bai, Guodong Chen, Wangyang Ying, Xinyuan Wang, Nanxu Gong

Extracting Interaction-Aware Monosemantic Concepts in Recommender Systems

Dor Arviv, Yehonatan Elisha, Oren Barkan, Noam Koenigstein

Beyond Static: Related Questions Retrieval Through Conversations in Community Question Answering

Xiao Ao, Jie Zou, Yibiao Wei, Peng Wang, Weikang Guo

T-SKM-Net: Trainable Neural Network Framework for Linear Constraint Satisfaction via Sampling Kaczmarz-Motzkin Method

Haoyu Zhu, Yao Zhang, Jiashen Ren, Qingchun Hou

Exact Optimization for Minimum Dominating Sets

Enqiang Zhu, Qiqi Bao, Yu Zhang, Chanjuan Liu, Pu Wu

Relational Verification for Cost-Aware Quantum Program Optimization

Ziming Zhao, Tingting Li, Zhaoxuan Li, Jianwei Yin

Improving Exact Algorithm for Pseudo Boolean Optimization with Two New Phase Selection Heuristics

Yujiao Zhao, Yizhan Xiang, Jiangnan Li, Yiyuan Wang, Minghao Yin

Right Branches Matter in Failure-based Variable Ordering Heuristics

Yang Zhang, Hongbo Li

Scalable Mixed-Integer Optimization with Neural Constraints via Dual Decomposition

Shuli Zeng, Sijia Zhang, Feng Wu, Shaojie Tang, Xiangyang Li

CSP4SDG: Constraint and Information-Theory Based Role Identification in Social Deduction Games with LLM-Enhanced Inference

Kaijie Xu, Fandi Meng, Clark Verbrugge, Simon Mark Lucas

Co-Layout: LLM-driven Co-optimization for Interior Layout

Chucheng Xiang, Ruchao Bao, Biyin Feng, Wenzheng Wu, Zhongyuan Liu

Cubing for Tuning

Haoze Wu, Clark Barrett, Nina Narodytska

Generative Branching for Mixed-Integer Linear Programming

Ruobing Wang, Xin Li, Yangchuan Wang, Zijian Zhang, Mingzhong Wang

Certified Branch-and-Bound MaxSAT Solving

Dieter Vandesande, Jordi Coll, Bart Bogaerts

A GPU-based Constraint Programming Solver

Pierre Talbot

Assignment Problems in Cost Function Networks

Guidio Sewa, David Allouche, Simon de Givry, George Katsirelos, Pierre Montalbano

Constrained Molecule Generation Modelled Using the Grammar Constraint

David Saikali, Gilles Pesant

LLM-Guided Quantified SMT Solving over Uninterpreted Functions

Kunhang Lv, Yuhang Dong, Rui Han, Fuqi Jia, Feifei Ma

Scale-Net: A Hierarchical U-Net Framework for Cross-Scale Generalization in Multi-Task Vehicle Routing

Suyu Liu, Zhiguang Cao, Nan Yin, Yew-Soon Ong

Towards Single Exponential Time for Temporal and Spatial Reasoning: A Study via Redundancy and Dynamic Programming

Victor Lagerkvist, Johanna Groven, Leif Eriksson

Using Constraint Solvers to Construct Binary Codes with Good Error Correction Performance

Stepan Kochemazov, Oleg Zaikin, Grigorii Trofimiuk, Kirill Antonov, Alexander Semenov

Graph Choosability via SAT: Beyond the Nullstellensatz

Markus Kirchweger, Tomáš Peitl, David Seka, Stefan Szeider

The Limitations and Power of NP-Oracle Based Functional Synthesis Techniques

Brendan Juba, Kuldeep S. Meel

Efficient and Reliable Hitting-Set Computations for the Implicit Hitting Set Approach

Hannes Ihalainen, Dieter Vandesande, Andre Schidler, Jeremias Berg, Bart Bogaerts

Constraint Optimization of MicroPlate Designs

Ramiz Gindullin, María Andreína Francisco Rodríguez

Model Counting for Dependency Quantified Boolean Formulas

Long-Hin Fung, Che Cheng, Jie-Hong Roland Jiang, Friedrich Slivovsky, Tony Tan

Preference Elicitation for Step-Wise Explanations in Logic Puzzles

Marco Foschini, Marianne Defresne, Emilio Gamba, Bart Bogaerts, Tias Guns

Exact Algorithms for Distance to Unique Vertex Cover

Foivos Fioravantes, Dusan Knop, Nikolaos Melissinos, Michal Opler, Manolis Vasilakis

Aperiodic Tiling and Rhythmic Canons: A CP Journey

Guillaume Derval, Christophe Lecoutre

Learning DFAs from Positive Examples Only via Word Counting

Benjamin Bordais, Daniel Neider

Using Certifying Constraint Solvers for Generating Step-wise Explanations

Ignace Bleukx, Maarten Flippo, Bart Bogaerts, Emir Demirović, Tias Guns

Proof Systems That Tightly Characterise Model Counting Algorithms

Olaf Beyersdorff, Tim Hoffmann, Kaspar Kasche

Proof Systems for Tensor-based Model Counting

Olaf Beyersdorff, Joachim Giesen, Andreas Goral, Tim Hoffmann, Kaspar Kasche

Ordered Objectives in Maximum Satisfiability

Jeremias Berg, Andre Schidler, Matti Järvisalo

Greedily Maximizing Ex-Ante Fairness

Ruben Becker, Bojana Kodric, Cosimo Vinci

Learning with Structure: Computing Consistent Subsets on Structurally-Regular Graphs

Aritra Banik, Mano Prakash Parthasarathi, Venkatesh Raman, Diya Roy, Abhishek Sahu

Faster Certified Symmetry Breaking Using Orders with Auxiliary Variables

Markus Anders, Bart Bogaerts, Benjamin Bogø, Arthur Gontier, Wietze Koops

Faster Symmetry Breaking Constraints for Abstract Structures

Özgür Akgün, Mun See Chang, Ian P. Gent, Christopher Jefferson

CoordAR: One-Reference 6D Pose Estimation of Novel Objects via Autoregressive Coordinate Map Generation

Dexin Zuo, Ang Li, Wei Wang, Wenxian Yu, Danping Zou

Decoupling What to Count and Where to See for Referring Expression Counting

Yuda Zou, Zijian Zhang, Yongchao Xu

Boosting Adversarial Transferability via Ensemble Non-Attention

Yipeng Zou, Qin Liu, Jie Wu, Yu Peng, Guo Chen

HATIR: Heat-Aware Diffusion for Turbulent Infrared Video Super-Resolution

Yang Zou, Xingyue Zhu, Kaiqi Han, Jun Ma, Xingyuan Li

Turbo-VAED: Fast and Stable Transfer of Video-VAEs to Mobile Devices

Ya Zou, Jingfeng Yao, Siyuan Yu, SHUAI ZHANG, Wenyu Liu

Appearance Discrepancy-guided Sequence Hybrid Masking for Robust Scene Text Recognition

Shihao Zou, Wei Wei, Leyang Xu, Kaihe Xu, Wenfeng Xie

EchoGen: Cycle-Consistent Learning for Unified Layout-Image Generation and Understanding

Kai Zou, Hongbo Liu, Dian Zheng, Jianxiong Gao, Zhiwei Zhao

HouseTune: Two-Stage Floorplan Generation with LLM Assistance

Ziyang Zong, Guanying Chen, Zhaohuan Zhan, Fengcheng Yu, Guang Tan

Tuning for Two Adversaries: Enhancing the Robustness Against Transfer and Query-Based Attacks Using Hyperparameter Tuning

Pascal Zimmer, Ghassan Karame

Libra-MIL: Multimodal Prototypes Stereoscopic Infused with Task-specific Language Priors for Few-shot Whole Slide Image Classification

Zhenfeng Zhuang, Fangyu Zhou, Liansheng Wang

Q Cache: Visual Attention Is Valuable in Less than Half of Decode Layers for Multimodal Large Language Model

Jiedong Zhuang, Lu Lu, Ming Dai, Rui Hu, Jian Chen

Training-Free Spatio-temporal Decoupled Reasoning Video Segmentation with Adaptive Object Memory

Zhengtong Zhu, Jiaqing Fan, Zhixuan Liu, Fanzhang Li

SinBasis Networks: Matrix-Equivalent Feature Extraction for Wave-Like Optical Spectrograms

Yuzhou Zhu, Zheng Zhang, Ruyi Zhang, Liang Zhou

Pixel-level Quality Assessment for Oriented Object Detection

Yunhui Zhu, Buliao Huang

CapeNext: Rethinking and Refining Dynamic Support Information for Category-Agnostic Pose Estimation

Yu Zhu, Dan Zeng, Shuiwang Li, Qijun Zhao, Qiaomu Shen

SLCFormer: Spectral-Local Context Transformer with Physics-Grounded Flare Synthesis for Nighttime Flare Removal

Xiyu Zhu, Wei Wang, Xin Yuan, Xiao Wang

VTD-CLIP: Video-to-Text Discretization via Prompting CLIP

Wencheng Zhu, Yuexin Wang, Hongxuan Li, Pengfei Zhu

Graph-Driven Domain Co-Adaptation for Cross-Domain Image Quality Assessment

Shun Zhu, Xichen Yang, Yan Zhang, Tianshu Wang, Zhongyuan Mao

Class Incremental Medical Image Segmentation via Prototype-Guided Calibration and Dual-Aligned Distillation

Shengqian Zhu, Chengrong Yu, Qiang Wang, Ying Song, Guangjun Li

LENS: Learning to Segment Anything with Unified Reinforced Reasoning

Lianghui Zhu, Bin Ouyang, Yuxuan Zhang, Tianheng Cheng, Rui Hu

AnchorDS: Anchoring Dynamic Sources for Semantically Consistent Text-to-3D Generation

Jiayin Zhu, Linlin Yang, Yicong Li, Angela Yao

Other Vehicle Trajectories Are Also Needed: A Driving World Model Unifies Ego-Other Vehicle Trajectories in Video Latent Space

Jian Zhu, Zhengyu Jia, Tian Gao, Jiaxin Deng, Shidi Li

Self-Supervised Representation Learning with Joint Embedding Predictive Architecture for Automotive LiDAR Object Detection

Haoran Zhu, Zhenyuan Dong, Kristi Topollai, Beiyao Sha, Anna Ewa Choromanska

MedEyes: Learning Dynamic Visual Focus for Medical Progressive Diagnosis

Chunzheng Zhu, Yangfang Lin, Shen Chen, Yijun Wang, Jianxin Lin

Hierarchical Schedule Optimization for Fast and Robust Diffusion Model Sampling

Aihua Zhu, Rui Su, Qinglin Zhao, Li Feng, Meng Shen

HiTVideo: Hierarchical Tokenizers for Enhancing Text-to-Video Generation with Autoregressive Large Language Models

Ziqin Zhou, Yifan Yang, Yuqing Yang, Tianyu He, Houwen Peng

Content Diversity-guided Ambiguity Mitigation for Open-Set Noisy Label Learning

Zhihao Zhou, Rui Li, Xueying LI

DICE: Distilling Classifier-Free Guidance into Text Embeddings

Zhenyu Zhou, Defang Chen, Can Wang, Chun Chen, Siwei Lyu

Semantic Guided Part Relation-aware Network for Point Cloud Completion

Zhensheng Zhou, Jianqing Liang, Jiye Liang, Zijin Du, Chenghao Fang

Δt-Mamba3D: A Time‑Aware Spatio‑Temporal State‑Space Model for Breast Cancer Risk Prediction

Zhengbo Zhou, Dooman Arefan, Margarita Louise Zuley, Shandong Wu

Few-step Flow for 3D Generation via Marginal-Data Transport Distillation

Zanwei Zhou, Taoran Yi, Jiemin Fang, chen yang, Lingxi Xie

Zero-Shot Open-Vocabulary Human Motion Grounding with Test-Time Training

Yunjiao Zhou, Xinyan Chen, Junlang Qian, Lihua Xie, Jianfei Yang

Debiased Dual-Invariant Defense for Adversarially Robust Person Re-Identification

Yuhang Zhou, Yanxiang Zhao, Zhongyun Hua, Zhipu Liu, Zhaoquan Gu

Less Is More: Vision Representation Compression for Efficient Video Generation with Large Language Models

Yucheng Zhou, Jihai Zhang, Guanjie Chen, Jianbing Shen, Yu Cheng

DragNeXt: Rethinking Drag-Based Image Editing

Yuan Zhou, Junbao Zhou, Qingshan Xu, Kesen Zhao, Yuxuan Wang

Beyond Counting: Evaluating Abstract and Emotional Reasoning in Vision-Language Models

Yuan Zhou, Yan Zhang, Jianlong Chang, Xin Gu, Ying Wang

LookFlow: Training-Free and Efficient High-Resolution Image Synthesis via Dynamic Lookahead Guidance Flow

Yuan Zhou, Yan Zhang, Jianlong Chang, Xin Gu, Ying Wang

ReaSon: Reinforced Causal Search with Information Bottleneck for Video Understanding

Yuan Zhou, Litao Hua, Shilong Jin, Wentao Huang, Haoran Duan

OpenDriveVLA: Towards End-to-end Autonomous Driving with Large Vision Language Action Model

Xingcheng Zhou, Xuyuan Han, Feng Yang, Yunpu Ma, Volker Tresp

CompTrack: Information Bottleneck-Guided Low-Rank Dynamic Token Compression for Point Cloud Tracking

Sifan Zhou, Yichao Cao, Jiahao Nie, Yuqian Fu, Ziyu Zhao

ASSIST-3D: Adapted Scene Synthesis for Class-Agnostic 3D Instance Segmentation

Shengchao Zhou, Jiehong Lin, Jiahui Liu, Shizhen Zhao, Chirui Chang

Bridging Vision and Language for Robust Context-Aware Surgical Point Tracking: The VL-SurgPT Dataset and Benchmark

Rulin Zhou, Wenlong He, An Wang, Jianhang Zhang, Xuanhui Zeng

Reasoning via Implicit Self-supervised Emergence for Instruction Segmentation

Qing Zhou, Lichang Yang, Yuyu Jia, Junyu Gao, Weiping Ni

Thermal-Physics Guided Infrared Image Super-Resolution with Dynamic High-Frequency Amplification

Mingxuan Zhou, Yirui Shen, Shuang Li, Jing Geng, Yutang Zhang

Hierarchical Prompt Learning for Image- and Text-Based Person Re-Identification

Linhan Zhou, Shuang Li, Neng Dong, Yonghang Tai, Yafei Zhang

Mitigating Entity Hallucinations in 3D Radiology Report Generation via Dual-Stream Alignment

Lingyu Zhou, Yue Yu, Zhang Yi, Xiuyuan Xu

TargetVAU: Multimodal Anomaly-Aware Reasoning for Target Behavior Understanding in Videos

Lingru Zhou, Peng Wu, Manqing Zhang, Qingsheng Wang, Guansong Pang

Certified L2-Norm Robustness of 3D Point Cloud Recognition in the Frequency Domain

Liang Zhou, Qiming Wang, Tianze Chen