English
Related papers

Related papers: Abstract, Rationale, Stance: A Joint Model for Sci…

200 papers

Claim verification can be a challenging task. In this paper, we present a method to enhance the robustness and reasoning capabilities of automated claim verification through the extraction of short facts from evidence. Our novel approach,…

Computation and Language · Computer Science 2024-07-29 Nazanin Jafari , James Allan

Joint entity-relation extraction (JERE) identifies both entities and their relationships simultaneously. Traditional machine-learning based approaches to performing this task require a large corpus of annotated data and lack the ability to…

Artificial Intelligence · Computer Science 2026-01-09 Trang Tran , Trung Hoang Le , Huiping Cao , Tran Cao Son

We introduce a new classification task for scientific statements and release a large-scale dataset for supervised learning. Our resource is derived from a machine-readable representation of the arXiv.org collection of preprint articles. We…

Computation and Language · Computer Science 2025-03-21 Deyan Ginev , Bruce R. Miller

Even with impressive advances in automated formal methods, certain problems in system verification and synthesis remain challenging. Examples include the verification of quantitative properties of software involving constraints on timing…

Logic in Computer Science · Computer Science 2015-03-19 Sanjit A. Seshia

We provide an up-to-date view on the knowledge management system ScienceWISE (SW) and address issues related to the automatic assignment of articles to research topics. So far, SW has been proven to be an effective platform for managing…

TRUST Agents is a collaborative multi-agent framework for explainable fact verification and fake news detection. Rather than treating verification as a simple true-or-false classification task, the system identifies verifiable claims,…

Artificial Intelligence · Computer Science 2026-04-15 Gautama Shastry Bulusu Venkata , Santhosh Kakarla , Maheedhar Omtri Mohan , Aishwarya Gaddam

Argument mining involves multiple sub-tasks that automatically identify argumentative elements, such as claim detection, evidence extraction, stance classification, etc. However, each subtask alone is insufficient for a thorough…

Computation and Language · Computer Science 2023-06-01 Jia Guo , Liying Cheng , Wenxuan Zhang , Stanley Kok , Xin Li , Lidong Bing

Given the recent proliferation of false claims online, there has been a lot of manual fact-checking effort. As this is very time-consuming, human fact-checkers can benefit from tools that can support them and make them more efficient. Here,…

Computation and Language · Computer Science 2022-11-16 Shaden Shaar , Nikola Georgiev , Firoj Alam , Giovanni Da San Martino , Aisha Mohamed , Preslav Nakov

Real-world fact verification task aims to verify the factuality of a claim by retrieving evidence from the source document. The quality of the retrieved evidence plays an important role in claim verification. Ideally, the retrieved evidence…

Computation and Language · Computer Science 2023-05-08 Xuming Hu , Zhaochen Hong , Zhijiang Guo , Lijie Wen , Philip S. Yu

Citations are crucial in scientific research articles as they highlight the connection between the current study and prior work. However, this process is often time-consuming for researchers. In this study, we propose the SciRGC framework,…

Digital Libraries · Computer Science 2025-05-28 Xiangyu Li , Jingqiang Chen

Selecting which claims to check is a time-consuming task for human fact-checkers, especially from documents consisting of multiple sentences and containing multiple claims. However, existing claim extraction approaches focus more on…

Computation and Language · Computer Science 2024-06-13 Zhenyun Deng , Michael Schlichtkrull , Andreas Vlachos

In this paper, we introduce the VerifAI project, a pioneering open-source scientific question-answering system, designed to provide answers that are not only referenced but also automatically vetted and verifiable. The components of the…

Computation and Language · Computer Science 2024-07-17 Adela Ljajić , Miloš Košprdić , Bojana Bašaragin , Darija Medvecki , Lorenzo Cassano , Nikola Milošević

Artificial intelligence systems have achieved remarkable capability in natural language processing, perception and decision-making tasks. However, their behaviour often remains opaque and difficult to verify, limiting their applicability in…

Software Engineering · Computer Science 2026-04-15 Arshad Beg , Diarmuid O'Donoghue , Rosemary Monahan

Large language models (LLMs) have grown in their usage to provide support for question answering across numerous disciplines. The models on their own have already shown promise for answering basic questions, however fail quickly where…

Information Retrieval · Computer Science 2025-04-15 David Brett , Anniek Myatt

Scientific document understanding is challenging as the data is highly domain specific and diverse. However, datasets for tasks with scientific text require expensive manual annotation and tend to be small and limited to only one or a few…

Computation and Language · Computer Science 2021-05-26 Dustin Wright , Isabelle Augenstein

Argument Mining (AM) helps in automating the extraction of complex argumentative structures such as Argument Components (ACs) like Premise, Claim etc. and Argumentative Relations (ARs) like Support, Attack etc. in an argumentative text. Due…

Computation and Language · Computer Science 2025-10-21 Nilmadhab Das , Vishal Vaibhav , Yash Sunil Choudhary , V. Vijaya Saradhi , Ashish Anand

Automated fact-checking has drawn considerable attention over the past few decades due to the increase in the diffusion of misinformation on online platforms. This is often carried out as a sequence of tasks comprising (i) the detection of…

Computation and Language · Computer Science 2024-03-27 Rrubaa Panchendrarajan , Arkaitz Zubiaga

To retrieve and compare scientific data of simulations and experiments in materials science, data needs to be easily accessible and machine readable to qualify and quantify various materials science phenomena. The recent progress in open…

Materials Science · Physics 2025-03-25 Balduin Katzer , Steffen Klinder , Katrin Schulz

Abstract. When writing an academic paper, researchers often spend considerable time reviewing and summarizing papers to extract relevant citations and data to compose the Introduction and Related Work sections. To address this problem, we…

Information Retrieval · Computer Science 2023-06-22 Juan Ramirez-Orta , Eduardo Xamena , Ana Maguitman , Axel J. Soto , Flavia P. Zanoto , Evangelos Milios

We propose an autoregressive entity linking model, that is trained with two auxiliary tasks, and learns to re-rank generated samples at inference time. Our proposed novelties address two weaknesses in the literature. First, a recent method…

Computation and Language · Computer Science 2022-04-13 Khalil Mrini , Shaoliang Nie , Jiatao Gu , Sinong Wang , Maziar Sanjabi , Hamed Firooz
‹ Prev 1 3 4 5 6 7 10 Next ›