AAAI 2025

3,486 papers

Locally Convex Global Loss Network for Decision-Focused Learning

Haeun Jeon, Hyunglip Bae, Minsu Park, Chanyeong Kim, Woo Chang Kim

Mitigating Pervasive Modality Absence Through Multimodal Generalization and Refinement

Wuliang Huang, Yiqiang Chen, Xinlong Jiang, Chenlong Gao, Teng Zhang

Identifying Macro Conditional Independencies and Macro Total Effects in Summary Causal Graphs with Latent Confounding

Simon Ferreira, Charles K. Assaad

Toward Falsifying Causal Graphs Using a Permutation-Based Test

Elias Eulig, Atalanti A. Mastakouri, Patrick Blöbaum, Michaela Hardt, Dominik Janzing

ABC3: Active Bayesian Causal Inference with Cohn Criteria in Randomized Experiments

Taehun Cha, Donghun Lee

Formal Quality Measures for Predictors in Markov Decision Processes

Christel Baier, Sascha Klüppelholz, Jakob Piribauer, Robin Ziemek

A Matching-Based Algorithm for the Traveling Tournament Problem

Jingyang Zhao, Mingyu Xiao

Improved Approximation Algorithms for Clustered TSP and Subgroup Planning

Jingyang Zhao, Mingyu Xiao, Junqiang Peng, Ziliang Xiong

RATT: A Thought Structure for Coherent and Correct LLM Reasoning

Jinghan Zhang, Xiting Wang, Weijieying Ren, Lu Jiang, Dongjie Wang

Augmenting Online Algorithms for Knapsack Problem with Total Weight Information

Binghan Wu, Wei Bao, Bing Bing Zhou

Temporal Task and Motion Planning with Metric Time for Multiple Object Navigation

Elisa Tosello, Alessandro Valentini, Andrea Micheli

Inapproximability of Optimal Multi-Agent Pathfinding Problems

Xing Tan, Alban Grastien

Learning More Expressive General Policies for Classical Planning Domains

Simon Ståhlberg, Blai Bonet, Hector Geffner

Counting and Reasoning with Plans

David Speck, Markus Hecher, Daniel Gnad, Johannes K. Fichte, Augusto B. Corrêa

Neural Combinatorial Optimization for Stochastic Flexible Job Shop Scheduling Problems

Igor G. Smit, Yaoxin Wu, Pavel Troubil, Yingqian Zhang, Wim P.M. Nuijten

Parallel Greedy Best-First Search with a Bound on Expansions Relative to Sequential Search

Takumi Shimoda, Alex Fukunaga

Formally Verified Approximate Policy Iteration

Maximilian Schäffeler, Mohammad Abdulaziz

Counterfactual Online Learning for Open-Loop Monte-Carlo Planning

Thomy Phan, Shao-Hung Chan, Sven Koenig

Self-Correcting Robot Manipulation via Gaussian-Splatted Foresight

Shaohui Pan, Yong Xu, Ruotao Xu, Zihan Zhou, Si Wu

Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

ModelDiff: Symbolic Dynamic Programming for Model-Aware Policy Transfer in Deep Q-Learning

Xiaotian Liu, Jihwan Jeong, Ayal Taitler, Michael Gimelfarb, Scott Sanner

WEPO: Web Element Preference Optimization for LLM-based Web Navigation

Jiarun Liu, Jia Hao, Chunhong Zhang, Zheng Hu

Approximate Bilevel Difference Convex Programming for Bayesian Risk Markov Decision Processes

Yifan Lin, Enlu Zhou

Told You That Will Not Work: Optimal Corrections to Planning Domains Using Counter-Example Plans

Songtuan Lin, Alban Grastien, Rahul Shome, Pascal Bercher

On Shallow Planning Under Partial Observability

Randy Lefebvre, Audrey Durand

Automatic Selection of Macro-Events for Heuristic-Search Temporal Planning

Alessandro La Farciola, Alessandro Valentini, Andrea Micheli

Threshold UCT: Cost-Constrained Monte Carlo Tree Search with Pareto Curves

Martin Kurečka, Václav Nevyhoštěný, Petr Novotný, Vít Unčovský

ACPBench: Reasoning About Action, Change, and Planning

Harsha Kokel, Michael Katz, Kavitha Srinivas, Shirin Sohrabi

Multiple Mean-Payoff Optimization Under Local Stability Constraints

David Klaška, Antonín Kučera, Vojtěch Kůr, Vít Musil, Vojtěch Řehák

Planning in the Dark: LLM-Symbolic Planning Pipeline Without Experts

Sukai Huang, Nir Lipovetzky, Trevor Cohn

Proactive and Reactive Constraint Programming for Stochastic Project Scheduling with Maximal Time-Lags

Kim van den Houten, Léon Planken, Esteban Freydell, David M.J. Tax, Mathijs de Weerdt

State Encodings for GNN-Based Lifted Planners

Rostislav Horčík, Gustav Šír, Vítězslav Šimek, Tomas Pevny

Multi Agent Reinforcement Learning for Sequential Satellite Assignment Problems

Joshua Holder, Natasha Jaques, Mehran Mesbahi

PDBs Go Numeric: Pattern-Database Heuristics for Simple Numeric Planning

Daniel Gnad, Lee-Or Alon, Eyal Weiss, Alexander Shleyfman

How Many Lines to Paint the City: Exact Edge-Cover in Temporal Graphs

Argyrios Deligkas, Michelle Döring, Eduard Eiben, Tiger-Lily Goldsmith, George Skretas

Approximating Optimal Labelings for Temporal Connectivity

Daniele Carnevale, Gianlorenzo D'Angelo, Martin Olsen

Temporal Numeric Planning with Patterns

Matteo Cardellini, Enrico Giunchiglia

Towards Practical Classical Planning Compilations of Numeric Planning

Luigi Bonassi, Francesco Percassi, Enrico Scala

Efficient Fault-Tolerant Search by Fast Indexing of Subnetworks

Davide Bilò, Keerti Choudhary, Sarel Cohen, Tobias Friedrich, Martin Schirneck

Revelations: A Decidable Class of POMDPs with Omega-Regular Objectives

Marius Belly, Nathanaël Fijalkow, Hugo Gimbert, Florian Horn, Guillermo A. Pérez

Privacy-and-Utility-Aware Publishing of Schedules

Maike Basmer, Stephan A. Fahrenkrog-Petersen, Ali Kaan Tutak, Arik Senderovich, Matthias Weidlich

LLM Agents Can Be Choice-Supportive Biased Evaluators: An Empirical Study

Nan Zhuang, Boyu Cao, Yi Yang, Jing Xu, Mingda Xu

CL-Attack: Textual Backdoor Attacks via Cross-Lingual Triggers

Jingyi Zheng, Tianyi Hu, Tianshuo Cong, Xinlei He

RUNA: Object-Level Out-of-Distribution Detection via Regional Uncertainty Alignment of Multimodal Representations

Bin Zhang, Jinggang Chen, Xiaoyang Qu, Guokuan Li, Kai Lu

Neural Control and Certificate Repair via Runtime Monitoring

Emily Yu, Đorđe Žikelić, Thomas A. Henzinger

Measuring Human and AI Values Based on Generative Psychometrics with Large Language Models

Haoran Ye, Yuhang Xie, Yuanyi Ren, Hanjun Fang, Xin Zhang

FairTP: A Prolonged Fairness Framework for Traffic Prediction

Jiangnan Xia, Yu Yang, Jiaxing Shen, Senzhang Wang, Jiannong Cao

Operationalising Rawlsian Ethics for Fairness in Norm Learning Agents

Jessica Woodgate, Paul Marshall, Nirav Ajmeri

FROC: Building Fair ROC from a Trained Classifier

Avyukta Manjunatha Vummintala, Shantanu Das, Sujit Gujar

Medical Manifestation-Aware De-Identification

Yuan Tian, Shuo Wang, Guangtao Zhai

Provably Secure Image Robust Steganography via Cross-modal Error Correction

Yuang Qi, Kejiang Chen, Na Zhao, Zijin Yang, Weiming Zhang

Fairness-Accuracy Trade-Offs: A Causal Perspective

Drago Plecko, Elias Bareinboim

RepeatLeakage: Leak Prompts from Repeating as Large Language Model Is a Good Repeater

Yu Peng, Lijie Zhang, Peizhuo Lv, Kai Chen

Interpretable Failure Detection with Human-Level Concepts

Kien X. Nguyen, Tang Li, Xi Peng

DP-MemArc: Differential Privacy Transfer Learning for Memory Efficient Language Models

Yanming Liu, Xinyue Peng, Yuwei Zhang, Xiaolan Ke, Songhang Deng

Mjölnir: Breaking the Shield of Perturbation-Protected Gradients via Adaptive Diffusion

Xuan Liu, Siqi Cai, Qihua ZHOU, Song Guo, Ruibin Li

Fusing Pruned and Backdoored Models: Optimal Transport-based Data-free Backdoor Mitigation

Weilin Lin, Li Liu, Jianze Li, Hui Xiong

Evaluating Image Hallucination in Text-to-Image Generation with Question-Answering

Youngsun Lim, Hojun Choi, Hyunjung Shim

Transfer Learning of Real Image Features with Soft Contrastive Loss for Fake Image Detection

Ziyou Liang, Weifeng Liu, Run Wang, Mengjie Wu, Boheng Li

ScreenMark: Watermarking Arbitrary Visual Content on Screen

Xiujian Liang, Gaozhi Liu, Yichao Si, Xiaoxiao Hu, Zhenxing Qian

Practicable Black-Box Evasion Attacks on Link Prediction in Dynamic Graphs—a Graph Sequential Embedding Method

Jiate Li, Meng Pang, Binghui Wang

Fair Text-to-Image Diffusion via Fair Mapping

Jia Li, Lijie Hu, Jingfeng ZHANG, Tianhang Zheng, Hua Zhang

Learning to Rewind via Iterative Prediction of Past Weights for Practical Unlearning

Jinhyeok Jang, Jaehong Kim, Chan-Hyun Youn

Perception-Guided Jailbreak Against Text-to-Image Models

Yihao Huang, Le Liang, Tianlin Li, Xiaojun Jia, Run Wang

SongSong: A Time Phonograph for Chinese SongCi Music from Thousand of Years Away

Jiliang Hu, Jiajia Li, Ziyi Pan, Chong Chen, Zuchao Li

Watch Out for Your Guidance on Generation! Exploring Conditional Backdoor Attacks against Large Language Models

Jiaming He, Wenbo Jiang, Guanyu Hou, Wenshu Fan, Rui Zhang

The Unreasonable Effectiveness of Open Science in AI: A Replication Study

Odd Erik Gundersen, Odd Cappelen, Martin Mølnå, Nicklas Grimstad Nilsen

Quantitative Predictive Monitoring and Control for Safe Human-Machine Interaction

Shuyang Dong, Meiyi Ma, Josephine Lamp, Sebastian Elbaum, Matthew B. Dwyer

TNCSE: Tensor Norm Constraints for Unsupervised Contrastive Learning of Sentence Embeddings

Tianyu Zong, Bingkang Shi, Hongzhu Yi, Jungang Xu

Math-PUMA: Progressive Upward Multimodal Alignment to Enhance Mathematical Reasoning

Wenwen Zhuang, Xin Huang, Xiantao Zhang, Jin Zeng

PokerBench: Training Large Language Models to Become Professional Poker Players

Richard Zhuang, Akshat Gupta, Richard Yang, Aniket Rahane, Zhengyu Li

One Token Can Help! Learning Scalable and Pluggable Virtual Tokens for Retrieval-Augmented Large Language Models

Yutao Zhu, Zhaoheng Huang, Zhicheng Dou, Ji-Rong Wen

Utilize the Flow Before Stepping into the Same River Twice: Certainty Represented Knowledge Flow for Refusal-Aware Instruction Tuning

Runchuan Zhu, Zhipeng Ma, Jiang Wu, Junyuan Gao, Jiaqi Wang

DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation

Qiming Zhu, Jialun Cao, Yaojie Lu, Hongyu Lin, Xianpei Han

EventSum: A Large-Scale Event-Centric Summarization Dataset for Chinese Multi-News Documents

Mengna Zhu, Kaisheng Zeng, Mao Wang, Kaiming Xiao, Lei Hou

RaDIO: Real-Time Hallucination Detection with Contextual Index Optimized Query Formulation for Dynamic Retrieval Augmented Generation

Jia Zhu, Hanghui Guo, Weijie Shi, Zhangze Chen, Pasquale De Meo

Advancing Audio-Based Text Generation with Imbalance Preference Optimization

Zhenghao Zhou, Yongjie Liu, Chen Cao

Editing Memories Through Few Targeted Neurons

Wei Zhou, Wei Wei, Guibang Cao, Fei Wang

CharacterBench: Benchmarking Character Customization of Large Language Models

Jinfeng Zhou, Yongkang Huang, Bosi Wen, Guanqun Bi, Yuxuan Chen

MoE-LPR: Multilingual Extension of Large Language Models Through Mixture-of-Experts with Language Priors Routing

Hao Zhou, Zhijun Wang, Shujian Huang, Xin Huang, Xue Han

BindGPT: A Scalable Framework for 3D Molecular Design via Language Modeling and Reinforcement Learning

Artem Zholus, Maksim Kuznetsov, Roman Schutski, Rim Shayakhmetov, Daniil Polykovskiy

Hierarchical Divide-and-Conquer for Fine-Grained Alignment in LLM-Based Medical Evaluation

Shunfan Zheng, Xiechi Zhang, Gerard de Melo, Xiaoling Wang, Linlin Wang

MRR-FV: Unlocking Complex Fact Verification with Multi-Hop Retrieval and Reasoning

Liwen Zheng, Chaozhuo Li, Litian Zhang, Haoran Jia, Senzhang Wang

Multi-Granular Multimodal Clue Fusion for Meme Understanding

Li Zheng, Hao Fei, Ting Dai, Zuquan Peng, Fei Li

Leveraging Attention to Effectively Compress Prompts for Long-Context LLMs

Yunlong Zhao, Haoran Wu, Bo Xu

CareBot: A Pioneering Full-Process Open-Source Medical Language Model

Lulu Zhao, Weihao Zeng, Xiaofeng Shi, Hua Zhou

Beyond IID: Optimizing Instruction Finetuning from the Perspective of Instruction Interaction and Dependency

Hanyu Zhao, Li Du, Yiming Ju, Chengwei Wu, Tengfei Pan

DiveR-CT: Diversity-enhanced Red Teaming Large Language Model Assistants with Relaxing Constraints

Andrew Zhao, Quentin Xu, Matthieu Lin, Shenzhi Wang, Yong-jin Liu

Mixture of Knowledge Minigraph Agents for Literature Review Generation

Zhi Zhang, Yan Liu, Sheng-hua Zhong, Gong Chen, Yu Yang

Prototype-Guided Multimodal Relation Extraction based on Entity Attributes

Zefan Zhang, Weiqi Zhang, Yanhui Li, Tian Bai

Encoder of Thoughts: Enhancing Planning Ability in Language Agents Through Structural Embedding

Yuxiang Zhang, Jitao Sang

Enhancing Chain of Thought Prompting in Large Language Models via Reasoning Patterns

Yufeng Zhang, Xuepeng Wang, Lingxiang Wu, Jinqiao Wang

Defeasible Visual Entailment: Benchmark, Evaluator, and Reward-Driven Optimization

Yue Zhang, Liqiang Jing, Vibhav Gogate

Multi-Attribute Multi-Grained Adaptation of Pre-Trained Language Models for Text Understanding from Bayesian Perspective

You Zhang, Jin Wang, Liang-Chih Yu, Dan Xu, Xuejie Zhang

Capability Instruction Tuning

Yi-Kai Zhang, De-Chuan Zhan, Han-Jia Ye

Unveiling the Impact of Coding Data Instruction Fine-Tuning on Large Language Models Reasoning

Xinlu Zhang, Zhiyu Zoey Chen, Xi Ye, Xianjun Yang, Lichang Chen

MEPNet: Medical Entity-Balanced Prompting Network for Brain CT Report Generation

Xiaodan Zhang, Yanzhao Shi, Junzhong Ji, Chengxin Zheng, Liangqiong Qu

TrustUQA: A Trustful Framework for Unified Structured Data Question Answering

Wen Zhang, Long Jin, Yushan Zhu, Jiaoyan Chen, Zhiwei Huang

FaceSpeak: Expressive and High-Quality Speech Synthesis from Human Portraits of Different Styles

Tian-Hao Zhang, Jiawei Zhang, Jun Wang, Xinyuan Qian, Xu-Cheng Yin

Code-switching Mediated Sentence-level Semantic Learning

SHUAI ZHANG, Jiangyan Yi, Zhengqi Wen, Jianhua Tao, Feihu Che