Papers
Universal Safety Controllers with Learned Prophecies
Bernd Finkbeiner, Niklas Metzger, Satya Prakash Nayak et al.
A Domain-specific Heuristic for PDDL+-based Traffic Signal Optimisation
Francesco Doria, Francesco Percassi, Marco Maratea et al.
Satisficing and Optimal Generalised Planning via Goal Regression
Dillon Z. Chen, Till Hofmann, Toryn Q. Klassen et al.
Probabilistic Hierarchical Goal Network Planning with UCT
David H. Chan, Mark Roberts, Dana S. Nau
CABTO: Context-Aware Behavior Tree Grounding for Robot Manipulation
Yishuai Cai, Xinglin Chen, Yunxin Mao et al.
Learning Heuristic Functions with Graph Neural Networks for Numeric Planning
Valerio Borelli, Alfonso Gerevini, Enrico Scala et al.
Extreme Value Monte Carlo Tree Search for Classical Planning
Masataro Asai, Stephen Wissow
Revealing POMDPs: Qualitative and Quantitative Analysis for Parity Objectives
Ali Asadi, Krishnendu Chatterjee, David Lurie et al.
Qualitative Analysis of ω-Regular Objectives on Robust MDPs
Ali Asadi, Krishnendu Chatterjee, Ehsan Kafshdar Goharshady et al.
A Switching Framework for Online Interval Scheduling with Predictions
Antonios Antoniadis, Ali Shahheidar, Golnoosh Shahkarami et al.
Best-Effort Policies for Robust Markov Decision Processes
Alessandro Abate, Thom Badings, Giuseppe De Giacomo et al.
DeformTrace: A Deformable State Space Model with Relay Tokens for Temporal Forgery Localization
Xiaodong Zhu, Suting Wang, Yuanming Zheng et al.
Beyond Semantic Features: Pixel-level Mapping for Generalized AI-Generated Image Detection
Chenming Zhou, Jiaan Wang, Yu Li et al.
HalluClean: A Unified Framework to Combat Hallucinations in LLMs
Yaxin Zhao, Yu Zhang
Consensus Learning with Multi-Party Perturbation Triggers for Secure Model Access
Yizhun Zhang, Jie Huang, Zeping Zhang et al.
Rep Deep & Machine Learning: Exemplar-Free Continual Video Action Recognition via Slow-Fast Collaborative Learning
Xueyi Zhang, Chengwei Zhang, Zheng Li et al.
Towards Provably Unlearnable Examples via Bayes Error Optimization
Ruihan Zhang, Jun Sun, Ee-Peng Lim et al.
Decomposing the Neurons: Activation Sparsity via Mixture of Experts for Continual Test Time Adaptation
Rongyu Zhang, Aosong Cheng, Yulin Luo et al.
T2I-RiskyPrompt: A Benchmark for Safety Evaluation, Attack, and Defense on Text-to-Image Model
Chenyu Zhang, Tairen Zhang, Lanjun Wang et al.
Reason2Attack: Jailbreaking Text-to-Image Models via LLM Reasoning
Chenyu Zhang, Lanjun Wang, Yiwen Ma et al.
Causally-Grounded Dual-Path Attention Intervention for Object Hallucination Mitigation in LVLMs
Liu Yu, Zhonghao Chen, Ping Kuang et al.
SafeR-CLIP: Mitigating NSFW Content in Vision-Language Models While Preserving Pre-Trained Knowledge
Adeel Yousaf, Joseph Fioresi, James Beetham et al.
MacPrompt: Maraconic-Guided Jailbreak Against Text-to-Image Models
Xi Ye, Yiwen Liu, Lina Wang et al.