Search

Search Results

• Neural Control and Certificate Repair via Runtime Monitoring

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

  26409-26417

  2025-04-11

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

  Bin Zhang, Jinggang Chen, Xiaoyang Qu, Guokuan Li, Kai Lu, Jiguang Wan, Jing Xiao, Jianzong Wang

  26418-26426

  2025-04-11

• Towards Practical Classical Planning Compilations of Numeric Planning

  Luigi Bonassi, Francesco Percassi, Enrico Scala

  26472-26480

  2025-04-11

• 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ý

  26569-26578

  2025-04-11

• On Shallow Planning Under Partial Observability

  Randy Lefebvre, Audrey Durand

  26587-26595

  2025-04-11

• Solving Robust Markov Decision Processes: Generic, Reliable, Efficient

  Tobias Meggendorfer, Maximilian Weininger, Patrick Wienhöft

  26631-26641

  2025-04-11

• Counting and Reasoning with Plans

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

  26688-26696

  2025-04-11

• Flow Factorization for Efficient Generative Flow Networks

  Jiashun Liu, Chunhui Li, Cheng-Hao Liu, Dianbo Liu, Qingpeng Cai, Ling Pan

  26833-26840

  2025-04-11

• Gradient-Based Nonlinear Rehearsal Learning with Multivariate Alterations

  Tian Qin, Tian-Zuo Wang, Zhi-Hua Zhou

  26859-26867

  2025-04-11

• HSEvo: Elevating Automatic Heuristic Design with Diversity-Driven Harmony Search and Genetic Algorithm Using LLMs

  Pham Vu Tuan Dat, Long Doan, Huynh Thi Thanh Binh

  26931-26938

  2025-04-11

• ConfigX: Modular Configuration for Evolutionary Algorithms via Multitask Reinforcement Learning

  Hongshu Guo, Zeyuan Ma, Jiacheng Chen, Yining Ma, Zhiguang Cao, Xinglin Zhang, Yue-Jiao Gong

  26982-26990

  2025-04-11

• Suboptimal Search with Dynamic Distribution of Suboptimality

  Mohammadreza Hami, Nathan R. Sturtevant

  26991-26999

  2025-04-11

• Multi-Objective Evolution of Heuristic Using Large Language Model

  Shunyu Yao, Fei Liu, Xi Lin, Zhichao Lu, Zhenkun Wang, Qingfu Zhang

  27144-27152

  2025-04-11

• Quantifying Misalignment Between Agents: Towards a Sociotechnical Understanding of Alignment

  Aidan Kierans, Avijit Ghosh, Hananel Hazan, Shiri Dori-Hacohen

  27365-27373

  2025-04-11

• Internal Activation Revision: Safeguarding Vision Language Models Without Parameter Update

  Qing Li, Jiahui Geng, Derui Zhu, Zongxiong Chen, Kun Song, Lei Ma, Fakhri Karray

  27428-27436

  2025-04-11

• Bias Unveiled: Investigating Social Bias in LLM-Generated Code

  Lin Ling, Fazle Rabbi, Song Wang, Jinqiu Yang

  27491-27499

  2025-04-11

• Text-Diffusion Red-Teaming of Large Language Models: Unveiling Harmful Behaviors with Proximity Constraints

  Jonathan Nöther, Adish Singla, Goran Radanovic

  27547-27555

  2025-04-11

• Is Poisoning a Real Threat to DPO? Maybe More So Than You Think

  Pankayaraj Pathmanathan, Souradip Chakraborty, Xiangyu Liu, Yongyuan Liang, Furong Huang

  27556-27564

  2025-04-11

• Align-Pro: A Principled Approach to Prompt Optimization for LLM Alignment

  Prashant Trivedi, Souradip Chakraborty, Avinash Reddy, Vaneet Aggarwal, Amrit Singh Bedi, George K. Atia

  27653-27661

  2025-04-11

• MMJ-Bench: A Comprehensive Study on Jailbreak Attacks and Defenses for Vision Language Models

  Fenghua Weng, Yue Xu, Chengyan Fu, Wenjie Wang

  27689-27697

  2025-04-11

• Aligning Large Language Models for Faithful Integrity Against Opposing Argument

  Yong Zhao, Yang Deng, See-Kiong Ng, Tat-Seng Chua

  27748-27756

  2025-04-11

• PrecipDiff: Leveraging Image Diffusion Models to Enhance Satellite-Based Precipitation Observations

  Ting-Yu Dai, Hayato Ushijima-Mwesigwa

  27932-27939

  2025-04-11

• Constraint-aware Pareto Optimization for Tree-Structured Networks: Addressing Decarbonization Targets with Hydropower Expansion

  Marc Grimson, Zhongdi Qu, Yue Mao, Aaron M Ferber, Felipe Siqueira Pacheco, Sebastian Heilpern, Hector Angarita, Alexander Flecker, Carla P Gomes

  28015-28023

  2025-04-11

• IOHunter: Graph Foundation Model to Uncover Online Information Operations

  Marco Minici, Luca Luceri, Francesco Fabbri, Emilio Ferrara

  28258-28266

  2025-04-11

• Black-Box Optimization with Implicit Constraints for Public Policy

  Wenqian Xing, JungHo Lee, Chong Liu, Shixiang Zhu

  28511-28519

  2025-04-11