English
Related papers

Related papers: CIVeX: Causal Intervention Verification for Langua…

200 papers

During reasoning in vision-language models (VLMs), false positive (FP) reasoning occurs when a model produces the correct answer but follows an incorrect reasoning path, resulting in undermined reasoning reliability. Existing approaches…

Computer Vision and Pattern Recognition · Computer Science 2025-11-06 Ben Zhang , LuLu Yu , Lei Gao , QuanJiang Guo , Jing Liu , Hui Gao

Many high-performing machine learning models are not interpretable. As they are increasingly used in decision scenarios that can critically affect individuals, it is necessary to develop tools to better understand their outputs. Popular…

Artificial Intelligence · Computer Science 2023-05-30 Laura State , Salvatore Ruggieri , Franco Turini

The use of static analysis tools has gained increasing popularity among developers in the last few years. However, the widespread adoption of static analysis tools is hindered by their high false alarm rates. Previous studies have…

Software Engineering · Computer Science 2025-11-18 Zhipeng Xue , Zhipeng Gao , Tongtong Xu , Xing Hu , Xin Xia , Shanping Li

Tool-using agents often incur substantial computational cost due to long reasoning chains and iterative tool usage. In practical scenarios, many tasks become infeasible under constrained tool environments, where the capabilities required…

Artificial Intelligence · Computer Science 2026-05-28 Liang Cheng , Mingsheng Cai , Jiuming Jiang , Luo Mai

Time series causal discovery is essential for understanding dynamic systems, yet many existing methods remain sensitive to noise, non-stationarity, and sampling variability. We propose the Validated Consensus-Driven Framework (VCDF), a…

Machine Learning · Computer Science 2026-02-26 Gene Yu , Ce Guo , Wayne Luk

Verifying the success of computer use agent (CUA) trajectories is a critical challenge: without reliable verification, neither evaluation nor training signal can be trusted. In this paper, we present lessons learned from building a…

Cryptography and Security · Computer Science 2026-04-09 Corby Rosset , Pratyusha Sharma , Andrew Zhao , Miguel Gonzalez-Fernandez , Ahmed Awadallah

While reinforcement learning (RL) enhances their ability to plan and reason across retrieval steps, we identify a critical failure mode in this setting: Tool-Call Hacking. Unlike execution-based tools (e.g., code or math), whose effects are…

Artificial Intelligence · Computer Science 2026-01-26 SHengjie Ma , Chenlong Deng , Jiaxin Mao , Jiadeng Huang , Teng Wang , Junjie Wu , Changwang Zhang , Jun wang

As systems are getting more autonomous with the development of artificial intelligence, it is important to discover the causal knowledge from observational sensory inputs. By encoding a series of cause-effect relations between events,…

Machine Learning · Computer Science 2020-01-16 Yuhao Wang , Vlado Menkovski , Hao Wang , Xin Du , Mykola Pechenizkiy

By providing a standardized interface for LLM agents to interact with external tools, the Model Context Protocol (MCP) is quickly becoming a cornerstone of the modern autonomous agent ecosystem. However, it creates novel attack surfaces due…

Cryptography and Security · Computer Science 2025-08-22 Zhiqiang Wang , Yichao Gao , Yanting Wang , Suyuan Liu , Haifeng Sun , Haoran Cheng , Guanquan Shi , Haohua Du , Xiangyang Li

Cited RAG evaluation often treats visible sources as a grounding signal, but a real, topically relevant citation can still under-warrant the attached wording. We study this diagnostic failure as citation laundering: a related source is…

Artificial Intelligence · Computer Science 2026-05-28 Pin Qian , Su Wang , Xiaoyuan Wang , Yihang Chen , Wenxuan Xu , Qiaolin Yu , Shuhuai Lin , Sipeng Zhang , Junxian You , Xinpeng Wei

The continued improvements in the predictive accuracy of machine learning models have allowed for their widespread practical application. Yet, many decisions made with seemingly accurate models still require verification by domain experts.…

Human-Computer Interaction · Computer Science 2020-03-06 Oscar Gomez , Steffen Holter , Jun Yuan , Enrico Bertini

Instrumental variable methods are among the most commonly used causal inference approaches to deal with unmeasured confounders in observational studies. The presence of invalid instruments is the primary concern for practical applications,…

Methodology · Statistics 2023-04-18 Zijian Guo

Tool-augmented LLM agents tend to call tools indiscriminately, even when the model can answer directly. Each unnecessary call wastes API fees and latency, yet no existing benchmark systematically studies when a tool call is actually needed.…

Computation and Language · Computer Science 2026-05-22 Chung-En Sun , Linbo Liu , Ge Yan , Zimo Wang , Tsui-Wei Weng

Building generalist embodied agents capable of solving complex real-world tasks remains a fundamental challenge in AI. Multimodal Large Language Models (MLLMs) have significantly advanced the reasoning capabilities of such agents through…

Artificial Intelligence · Computer Science 2026-05-14 Nishad Singhi , Christian Bialas , Snehal Jauhri , Vignesh Prasad , Georgia Chalvatzaki , Marcus Rohrbach , Anna Rohrbach

Answer verification methods are widely employed in language model training pipelines spanning data curation, evaluation, and reinforcement learning with verifiable rewards (RLVR). While prior work focus on developing unified verifiers…

Machine Learning · Computer Science 2025-12-02 Ruixiang Feng , Zhenwei An , Yuntao Wen , Ran Le , Yiming Jia , Chen Yang , Zongchao Chen , Lisi Chen , Shen Gao , Shuo Shang , Yang Song , Tao Zhang

Abstractive related work generation has attracted increasing attention in generating coherent related work that better helps readers grasp the background in the current research. However, most existing abstractive models ignore the inherent…

Computation and Language · Computer Science 2023-05-24 Jiachang Liu , Qi Zhang , Chongyang Shi , Usman Naseem , Shoujin Wang , Ivor Tsang

Agentic AI has been a topic of great interest recently. A Large Language Model (LLM) agent involves one or more LLMs in the back-end. In the front end, it conducts autonomous decision-making by combining the LLM outputs with results…

Artificial Intelligence · Computer Science 2026-03-19 Yuntong Zhang , Sungmin Kang , Ruijie Meng , Marcel Böhme , Abhik Roychoudhury

Proximal causal inference is a recently proposed framework for evaluating causal effects in the presence of unmeasured confounding. For point identification of causal effects, it leverages a pair of so-called treatment and outcome…

Methodology · Statistics 2024-01-30 AmirEmad Ghassami , Ilya Shpitser , Eric Tchetgen Tchetgen

As the complexity of System-on-Chip (SoC) designs grows, the shift-left paradigm necessitates the rapid development of high-fidelity reference models (typically written in SystemC) for early architecture exploration and verification. While…

Software Engineering · Computer Science 2026-04-28 Yifan Zhang , Jianmin Ye , Jiahao Yang , Xi Wang

We present Conformal Intent Classification and Clarification (CICC), a framework for fast and accurate intent classification for task-oriented dialogue systems. The framework turns heuristic uncertainty scores of any intent classifier into…

Computation and Language · Computer Science 2024-03-29 Floris den Hengst , Ralf Wolter , Patrick Altmeyer , Arda Kaygan