Papers
12,718 papers found
VeriFlow: Modeling Distributions for Neural Network Verification
Faried Abu Zaid, Daniel Neider, Mustafa Yalçıner
Minimum-Length Conformal Prediction Sets for Ordinal Classification
Zijian Zhang, Xinyu Chen, Yuanjie Shi et al.
Differentiable Sparse Identification of Lagrangian Dynamics
Zitong Zhang, Hao Sun
Mental Model-based Generation of Lies for Insider Threat Modeling
Brittany Cates, Sarath Sreedharan
Cost-Effective Communication: An Auction-based Method for Language Agent Interaction
Yijia Fan, Jusheng Zhang, Kaitong Cai et al.
Graph Attention-Guided Search for Dense Multi-Agent Pathfinding
Rishabh Jain, Keisuke Okumura, Michael Amir et al.
More than Irrational: Modeling Belief-Biased Agents
Yifan Zhu, Sammie Katt, Samuel Kaski
MAMA-Memeia! Multi-Aspect Multi-Agent Collaboration for Depressive Symptoms Identification in Memes
Siddhant Agarwal, Adya Dhuler, Polly Ruhnke et al.
Identifying and Analyzing Performance-Critical Tokens in Large Language Models
Yu Bai, Heyan Huang, Cesare Spinoso-Di Piano et al.
Sampling-Free Uncertainty Quantification via Hidden State Dynamics in Language Models
Yixin Bu, Guanyun Zou, Renzhi Wang et al.
HC2-GNN: Hierarchical Graph Representation Learning for Efficient Text Classification
jiejie fan, Xiaojuan Ban, Zhiyan Zhang et al.
DUP: Detection-guided Unlearning for Backdoor Purification in Language Models
Man Hu, Yahui Ding, Yatao Yang et al.
Backdooring Rationalization
Lingxiao Kong, Jiahui Jiang, Wenchao Xu et al.
Efficient Thought Space Exploration Through Strategic Intervention
Ziheng Li, Hengyi Cai, Xiaochi Wei et al.
Confidence Estimation for Text-to-SQL in Large Language Models
Sepideh Entezari Maleki, Mohammadreza Pourreza, Davood Rafiei
From Chaos to Cure: A Prefix Heuristics Guided Model-Agnostic Adaptive Detoxification Framework
Yuhu Shang, Xiang Cheng, Yimeng Ren et al.
Test-time Prompt Intervention
Chenxu Yang, Qingyi Si, Mz Dai et al.
SlideTailor: Personalized Presentation Slide Generation for Scientific Papers
Wenzheng Zeng, Mingyu Ouyang, Langyuan Cui et al.
Global-Local Confidence Fusion for Hallucination Detection in Mathematical Reasoning Task
Bo Zhang, Cong Gao, Linkang Yang et al.
Syllogism-Inspired TableQA: Evidentialization Makes Decomposition Reasoning and Answer Verification More Reliable
Zhe Zhang, Lili Bai, Chaopeng Guo et al.
Ellipsoid-Based Decision Boundaries for Open Intent Classification
Yuetian Zou, Hanlei Zhang, Hua Xu et al.
StyleSentinel: Reliable Artistic Copyright Verification via Stylistic Fingerprints
Lingxiao Chen, Liqin Wang, Wei Lu
Parameterized Abstract Interpretation for Transformer Verification
Pei Huang, Dennis Wei, Omri Isac et al.
PurMM: Attention-Guided Test-Time Backdoor Purification in Multimodal Large Language Models
Wenzheng Jiang, Ke Liang, Xuankun Rong et al.