Search

Search Results

• Neural Control and Certificate Repair via Runtime Monitoring

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

  26409-26417

  2025-04-11

• Efficient Fault-Tolerant Search by Fast Indexing of Subnetworks

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

  26463-26471

  2025-04-11

• Approximate Bilevel Difference Convex Programming for Bayesian Risk Markov Decision Processes

  Yifan Lin, Enlu Zhou

  26605-26613

  2025-04-11

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

  Elisa Tosello, Alessandro Valentini, Andrea Micheli

  26716-26724

  2025-04-11

• MetaSymNet: A Tree-like Symbol Network with Adaptive Architecture and Activation Functions

  Yanjie Li, Weijun Li, Lina Yu, Min Wu, Jingyi Liu, Shu Wei, Yusong Deng, Meilan Hao

  27081-27089

  2025-04-11

• Hierarchical Gradient-Based Genetic Sampling for Accurate Prediction of Biological Oscillations

  Heng Rao, Yu Gu, Jason Zipeng Zhang, Ge Yu, Yang Cao, Minghan Chen

  27126-27134

  2025-04-11

• Risk Controlled Image Retrieval

  Kaiwen Cai, Chris Xiaoxuan Lu, Xingyu Zhao, Wei Huang, Xiaowei Huang

  27224-27232

  2025-04-11

• ChatBug: A Common Vulnerability of Aligned LLMs Induced by Chat Templates

  Fengqing Jiang, Zhangchen Xu, Luyao Niu, Bill Yuchen Lin, Radha Poovendran

  27347-27355

  2025-04-11

• Maximizing Signal in Human-Model Preference Alignment

  Kelsey Kraus, Margaret Kroll

  27392-27400

  2025-04-11

• Is Your Autonomous Vehicle Safe? Understanding the Threat of Electromagnetic Signal Injection Attacks on Traffic Scene Perception

  Wenhao Liao, Sineng Yan, Youqian Zhang, Xinwei Zhai, Yuanyuan Wang, Eugene Fu

  27464-27472

  2025-04-11

• Single Character Perturbations Break LLM Alignment

  Leon Lin, Hannah Brown, Kenji Kawaguchi, Michael Shieh

  27473-27481

  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

• MAPLE: A Framework for Active Preference Learning Guided by Large Language Models

  Saaduddin Mahmud, Mason Nakamura, Shlomo Zilberstein

  27518-27528

  2025-04-11

• Measuring Error Alignment for Decision-Making Systems

  Binxia Xu, Antonis Bikakis, Daniel F.O. Onah, Andreas Vlachidis, Luke Dickens

  27731-27739

  2025-04-11

• Enhance Modality Robustness in Text-Centric Multimodal Alignment with Adversarial Prompting

  Yun-Da Tsai, Ting-Yu Yen, Keng-Te Liao, Shou-De Lin

  27740-27747

  2025-04-11

• ScamNet: Toward Explainable Large Language Model-Based Fraudulent Shopping Website Detection

  Marzieh Bitaab, Alireza Karimi, Zhuoer Lyu, Ahmadreza Mosallanezhad, Adam Oest, Ruoyu Wang, Tiffany Bao, Yan Shoshitaishvili, Adam Doupé

  27841-27848

  2025-04-11

• Uncertainty-aware Knowledge Tracing

  Weihua Cheng, Hanwen Du, Chunxiao Li, Ersheng Ni, Liangdi Tan, Tianqi Xu, Yongxin Ni

  27905-27913

  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

• Context in Public Health for Underserved Communities: A Bayesian Approach to Online Restless Bandits

  Biyonka Liang, Lily Xu, Aparna Taneja, Milind Tambe, Lucas Janson

  28195-28203

  2025-04-11

• VQLTI: Long-Term Tropical Cyclone Intensity Forecasting with Physical Constraints

  Xinyu Wang, Lei Liu, Kang Chen, Tao Han, Bin Li, Lei Bai

  28476-28484

  2025-04-11

• Adaptive Multi-Faceted Service Capabilities Co-Prediction for Nationwide Terminal Stations in Logistics

  Shuxin Zhong, Kimberly Liu, Wenjun Lyu, Haotian Wang, Guang Wang, Yunhuai Liu, Tian He, Yu Yang, Desheng Zhang

  28557-28565

  2025-04-11

• Towards Scientific Discovery with Generative AI: Progress, Opportunities, and Challenges

  Chandan K Reddy, Parshin Shojaee

  28601-28609

  2025-04-11

• Incentives for Early Arrival

  Dengji Zhao

  28624-28628

  2025-04-11

• Embodied AI for Smart Robotic Cells in Manufacturing Applications

  Satyandra K. Gupta

  28630-28636

  2025-04-11

• Leveraging Human Input to Enable Robust, Interactive, and Aligned AI Systems

  Daniel S. Brown

  28704-28704

  2025-04-11