中文
相关论文

相关论文: Program Enhanced Fact Verification with Verbalizat…

200 篇论文

Fact-checking plays a crucial role in combating misinformation. Existing methods using large language models (LLMs) for claim decomposition face two key limitations: (1) insufficient decomposition, introducing unnecessary complexity to the…

计算与语言 · 计算机科学 2025-03-11 Yani Huang , Richong Zhang , Zhijie Nie , Junfan Chen , Xuefeng Zhang

The cues needed to detect spoofing attacks against automatic speaker verification are often located in specific spectral sub-bands or temporal segments. Previous works show the potential to learn these using either spectral or temporal…

音频与语音处理 · 电气工程与系统科学 2021-04-09 Hemlata Tak , Jee-weon Jung , Jose Patino , Massimiliano Todisco , Nicholas Evans

Knowledge graph embedding techniques are widely used for knowledge graph refinement tasks such as graph completion and triple classification. These techniques aim at embedding the entities and relations of a Knowledge Graph (KG) in a low…

计算与语言 · 计算机科学 2022-11-22 Armita Khajeh Nassiri , Nathalie Pernelle , Fatiha Sais , Gianluca Quercini

Graphs can facilitate modeling various complex systems such as gene networks and power grids, as well as analyzing the underlying relations within them. Learning over graphs has recently attracted increasing attention, particularly graph…

机器学习 · 计算机科学 2023-03-28 O. Deniz Kose , Yanning Shen

This paper presents McNetKAT, a scalable tool for verifying probabilistic network programs. McNetKAT is based on a new semantics for the guarded and history-free fragment of Probabilistic NetKAT in terms of finite-state, absorbing Markov…

编程语言 · 计算机科学 2019-04-18 Steffen Smolka , Praveen Kumar , David M Kahn , Nate Foster , Justin Hsu , Dexter Kozen , Alexandra Silva

This study aimed to leverage graph information, particularly Rhetorical Structure Theory (RST) and Co-reference (Coref) graphs, to enhance the performance of our baseline summarization models. Specifically, we experimented with a Graph…

计算与语言 · 计算机科学 2026-04-07 Mohammadreza Ardestani , Yllias Chali

Language models are increasingly being used in important decision pipelines, so ensuring the correctness of their outputs is crucial. Recent work has proposed evaluating the "factuality" of claims decomposed from a language model generation…

计算与语言 · 计算机科学 2025-05-26 Maxon Rubin-Toles , Maya Gambhir , Keshav Ramji , Aaron Roth , Surbhi Goel

Tabular data are omnipresent in various sectors of industries. Neural networks for tabular data such as TabNet have been proposed to make predictions while leveraging the attention mechanism for interpretability. However, the inferred…

机器学习 · 计算机科学 2024-06-12 Jacob Si , Wendy Yusi Cheng , Michael Cooper , Rahul G. Krishnan

A large number of web applications is based on a relational database together with a program, typically a script, that enables the user to interact with the database through embedded SQL queries and commands. In this paper, we introduce a…

计算机科学中的逻辑 · 计算机科学 2016-10-10 Shachar Itzhaky , Tomer Kotek , Noam Rinetzky , Mooly Sagiv , Orr Tamir , Helmut Veith , Florian Zuleger

Lots of neural network architectures have been proposed to deal with learning tasks on graph-structured data. However, most of these models concentrate on only node features during the learning process. The edge features, which usually play…

机器学习 · 计算机科学 2021-01-20 Jun Chen , Haopeng Chen

Graph Neural Networks have demonstrated significant success in graph classification tasks, yet they often require substantial computational resources and struggle to capture global graph properties effectively. We introduce LightTopoGAT, a…

机器学习 · 计算机科学 2025-12-16 Ankit Sharma , Sayan Roy Gupta

We target the problem of provably computing the equivalence between two complex expression trees. To this end, we formalize the problem of equivalence between two such programs as finding a set of semantics-preserving rewrite rules from one…

编程语言 · 计算机科学 2021-06-10 Steve Kommrusch , Théo Barollet , Louis-Noël Pouchet

Graph representation learning has rapidly emerged as a pivotal field of study. Despite its growing popularity, the majority of research has been confined to embedding single-layer graphs, which fall short in representing complex systems…

机器学习 · 计算机科学 2024-03-29 Marco Bongiovanni , Luca Gallo , Roberto Grasso , Alfredo Pulvirenti

In this paper a pure-attention bottom-up approach, called ViGAT, that utilizes an object detector together with a Vision Transformer (ViT) backbone network to derive object and frame features, and a head network to process these features…

计算机视觉与模式识别 · 计算机科学 2022-11-01 Nikolaos Gkalelis , Dimitrios Daskalakis , Vasileios Mezaris

The field of explainable Automatic Fact-Checking (AFC) aims to enhance the transparency and trustworthiness of automated fact-verification systems by providing clear and comprehensible explanations. However, the effectiveness of these…

人工智能 · 计算机科学 2025-04-08 Islam Eldifrawi , Shengrui Wang , Amine Trabelsi

The rapid rise of deepfake technology, which produces realistic but fraudulent digital content, threatens the authenticity of media. Traditional deepfake detection approaches often struggle with sophisticated, customized deepfakes,…

计算机视觉与模式识别 · 计算机科学 2026-02-23 Ahmad ALBarqawi , Mahmoud Nazzal , Issa Khalil , Abdallah Khreishah , NhatHai Phan

Essay writing is a critical component of student assessment, yet manual scoring is labor-intensive and inconsistent. Automated Essay Scoring (AES) offers a promising alternative, but current approaches face limitations. Recent studies have…

计算与语言 · 计算机科学 2025-09-03 Hind Aljuaid , Areej Alhothali , Ohoud Al-Zamzami , Hussein Assalahi

Graphs, such as social networks, word co-occurrence networks, and communication networks, occur naturally in various real-world applications. Analyzing them yields insight into the structure of society, language, and different patterns of…

社会与信息网络 · 计算机科学 2019-08-22 Palash Goyal , Emilio Ferrara

Fact verification is a challenging task that requires simultaneously reasoning and aggregating over multiple retrieved pieces of evidence to evaluate the truthfulness of a claim. Existing approaches typically (i) explore the semantic…

计算与语言 · 计算机科学 2021-06-03 Jiasheng Si , Deyu Zhou , Tongzhe Li , Xingyu Shi , Yulan He

Intent detection and slot filling are two fundamental tasks for building a spoken language understanding (SLU) system. Multiple deep learning-based joint models have demonstrated excellent results on the two tasks. In this paper, we propose…

计算与语言 · 计算机科学 2021-02-10 Pengfei Wei , Bi Zeng , Wenxiong Liao