English
Related papers

Related papers: Program Enhanced Fact Verification with Verbalizat…

200 papers

Automatic fact-checking systems detect misinformation, such as fake news, by (i) selecting check-worthy sentences for fact-checking, (ii) gathering related information to the sentences, and (iii) inferring the factuality of the sentences.…

Information Retrieval · Computer Science 2019-03-21 Casper Hansen , Christian Hansen , Stephen Alstrup , Jakob Grue Simonsen , Christina Lioma

The rapid development of social platforms exacerbates the dissemination of misinformation, which stimulates the research in fact verification. Recent studies tend to leverage semantic features to solve this problem as a single-hop task.…

Computation and Language · Computer Science 2025-03-12 Han Cao , Lingwei Wei , Wei Zhou , Songlin Hu

Detecting keywords in texts is important for many text mining applications. Graph-based methods have been commonly used to automatically find the key concepts in texts, however, relevant information provided by embeddings has not been…

Computation and Language · Computer Science 2022-05-05 Jorge A. V. Tohalino , Thiago C. Silva , Diego R. Amancio

We consider the problem of automatically verifying programs which manipulate arbitrary data structures. Our specification language is expressive, contains a notion of \emph{separation}, and thus enables a precise specification of…

Programming Languages · Computer Science 2017-11-16 Duc-Hiep Chu , Joxan Jaffar

Software systems can be represented as graphs, capturing dependencies among functions and processes. An interesting aspect of software systems is that they can be represented as different types of graphs, depending on the extraction goals…

Machine Learning · Computer Science 2025-10-14 Kartikeya Aneja , Nagender Aneja , Murat Kantarcioglu

The propensity of abstractive summarization models to make factual errors has been studied extensively, including design of metrics to detect factual errors and annotation of errors in current systems' outputs. However, the ever-evolving…

Claim verification is a long-standing and challenging task that demands not only high accuracy but also explainability of the verification process. This task becomes an emerging research issue in the era of large language models (LLMs)…

Computation and Language · Computer Science 2025-05-30 Hoang Pham , Thanh-Do Nguyen , Khac-Hoai Nam Bui

Graph representation plays an important role in the field of financial risk control, where the relationship among users can be constructed in a graph manner. In practical scenarios, the relationships between nodes in risk control tasks are…

Machine Learning · Computer Science 2023-03-08 Jiafu Wu , Mufeng Yao , Dong Wu , Mingmin Chi , Baokun Wang , Ruofan Wu , Xin Fu , Changhua Meng , Weiqiang Wang

Training SER models in natural, spontaneous speech is especially challenging due to the subtle expression of emotions and the unpredictable nature of real-world audio. In this paper, we present a robust system for the INTERSPEECH 2025…

Tabular data serves as the backbone of modern data analysis and scientific research. While Large Language Models (LLMs) fine-tuned via Supervised Fine-Tuning (SFT) have significantly improved natural language interaction with such…

This paper investigates the semantic robustness of attention-based classifiers for design pattern detection, particularly focusing on their reliance on structural and behavioral semantics. We reproduce the DPDAtt, an attention-based design…

Software Engineering · Computer Science 2025-12-09 Manthan Shenoy , Andreas Rausch

The past few years have seen a surge of interest in the field of probabilistic logic learning and statistical relational learning. In this endeavor, many probabilistic logics have been developed. ProbLog is a recent probabilistic extension…

Programming Languages · Computer Science 2011-03-04 Angelika Kimmig , Bart Demoen , Luc De Raedt , Vítor Santos Costa , Ricardo Rocha

Current machine-learning based software vulnerability detection methods are primarily conducted at the function-level. However, a key limitation of these methods is that they do not indicate the specific lines of code contributing to…

Cryptography and Security · Computer Science 2022-03-28 David Hin , Andrey Kan , Huaming Chen , M. Ali Babar

Document network embedding aims at learning representations for a structured text corpus i.e. when documents are linked to each other. Recent algorithms extend network embedding approaches by incorporating the text content associated with…

Machine Learning · Computer Science 2020-01-13 Robin Brochier , Adrien Guille , Julien Velcin

Diffusion Language Models (DLMs) present a promising non-sequential paradigm for text generation, distinct from standard autoregressive (AR) approaches. However, current decoding strategies often adopt a reactive stance, underutilizing the…

Computation and Language · Computer Science 2026-01-30 Miao Li , Hanyang Jiang , Sikai Cheng , Hengyu Fu , Yuhang Cai , Baihe Huang , Tinghan Ye , Xuanzhou Chen , Pascal Van Hentenryck

Although syntactic information is beneficial for many NLP tasks, combining it with contextual information between words to solve the coreference resolution problem needs to be further explored. In this paper, we propose an end-to-end parser…

Computation and Language · Computer Science 2023-09-12 Yuan Meng , Xuhao Pan , Jun Chang , Yue Wang

Network embeddings, which learn low-dimensional representations for each vertex in a large-scale network, have received considerable attention in recent years. For a wide range of applications, vertices in a network are typically…

Computation and Language · Computer Science 2018-08-30 Dinghan Shen , Xinyuan Zhang , Ricardo Henao , Lawrence Carin

We focus on a conversational question answering task which combines the challenges of understanding questions in context and reasoning over evidence gathered from heterogeneous sources like text, knowledge graphs, tables, and infoboxes. Our…

Computation and Language · Computer Science 2024-07-16 Parag Jain , Mirella Lapata

Financial transaction fraud prevention faces challenges such as complex relationship structures, concealed behavioral patterns, and dynamically changing data distribution. Discrimination models relying solely on independent sample features…

Machine Learning · Computer Science 2026-05-14 Yunfei Nie , Jiawei Wang , Ruobing Yan , Yuhan Wang , Zouxiaowei Ma , Yilun Wu

Uncertainty estimation is essential for enhancing the reliability of Large Language Models (LLMs), particularly in high-stakes applications. Existing methods often overlook semantic dependencies, relying on token-level probability measures…

Computation and Language · Computer Science 2025-09-10 Tuo Wang , Adithya Kulkarni , Tyler Cody , Peter A. Beling , Yujun Yan , Dawei Zhou