English
Related papers

Related papers: Temporal Validity Change Prediction

200 papers

Various verification techniques for temporal properties transform temporal verification to safety verification. For infinite-state systems, these transformations are inherently imprecise. That is, for some instances, the temporal property…

Logic in Computer Science · Computer Science 2021-06-03 Oded Padon , Jochen Hoenicke , Kenneth L. McMillan , Andreas Podelski , Mooly Sagiv , Sharon Shoham

Reasoning about time is essential for understanding the nuances of events described in natural language. Previous research on this topic has been limited in scope, characterized by a lack of standardized benchmarks that would allow for…

Computation and Language · Computer Science 2024-06-03 Yuqing Wang , Yun Zhao

Despite the advanced capabilities of large language models (LLMs), their temporal reasoning ability remains underdeveloped. Prior works have highlighted this limitation, particularly in maintaining temporal consistency when understanding…

Computation and Language · Computer Science 2025-06-18 Jongho Kim , Seung-won Hwang

The web is trapped in the "perpetual now", and when users traverse from page to page, they are seeing the state of the web resource (i.e., the page) as it exists at the time of the click and not necessarily at the time when the link was…

Information Retrieval · Computer Science 2013-07-16 Hany M. SalahEldeen , Michael L. Nelson

Link sharing in social media can be seen as a collaboratively retrieved set of documents for a query or topic expressed by a hashtag. Temporal information plays an important role for identifying the correct context for which such…

Information Retrieval · Computer Science 2019-08-07 Omar Alonso , Vasileios Kandylas , Serge-Eric Tremblay

A comprehensive understanding of data quality is the cornerstone of measurement studies in social media research. This paper presents in-depth measurements on the effects of Twitter data sampling across different timescales and different…

Social and Information Networks · Computer Science 2020-04-07 Siqi Wu , Marian-Andrei Rizoiu , Lexing Xie

Text attribute transfer is modifying certain linguistic attributes (e.g. sentiment, style, authorship, etc.) of a sentence and transforming them from one type to another. In this paper, we aim to analyze and interpret what is changed during…

Computation and Language · Computer Science 2019-09-30 Yao Fu , Hao Zhou , Jiaze Chen , Lei Li

The achievements of Large Language Models in Natural Language Processing, especially for high-resource languages, call for a better understanding of their characteristics from a cognitive perspective. Researchers have attempted to evaluate…

Computation and Language · Computer Science 2025-05-23 Sheng-Fu Wang , Laurent Prevot , Jou-an Chi , Ri-Sheng Huang , Shu-Kai Hsieh

Deep neural network models represent the state-of-the-art methodologies for natural language processing. Here we build on top of these methodologies to incorporate temporal information and model how to review data changes with time.…

Machine Learning · Computer Science 2020-12-11 Kostadin Cvejoski , Ramses J. Sanchez , Bogdan Georgiev , Christian Bauckhage , Cesar Ojeda

As research on machine translation moves to translating text beyond the sentence level, it remains unclear how effective automatic evaluation metrics are at scoring longer translations. In this work, we first propose a method for creating…

Computation and Language · Computer Science 2023-08-29 Daniel Deutsch , Juraj Juraska , Mara Finkelstein , Markus Freitag

Recently, discrete latent variable models have received a surge of interest in both Natural Language Processing (NLP) and Computer Vision (CV), attributed to their comparable performance to the continuous counterparts in representation…

Computation and Language · Computer Science 2022-11-08 Erxin Yu , Lan Du , Yuan Jin , Zhepei Wei , Yi Chang

Data is fundamental to machine learning-based products and services and is considered strategic due to its externalities for businesses, governments, non-profits, and more generally for society. It is renowned that the value of…

Machine Learning · Computer Science 2022-03-18 Ehsan Valavi , Joel Hestness , Marco Iansiti , Newsha Ardalani , Feng Zhu , Karim R. Lakhani

For spoken dialog systems to conduct fluid conversational interactions with users, the systems must be sensitive to turn-taking cues produced by a user. Models should be designed so that effective decisions can be made as to when it is…

Computation and Language · Computer Science 2018-07-02 Matthew Roddy , Gabriel Skantze , Naomi Harte

Capitalization and punctuation are important cues for comprehending written texts and conversational transcripts. Yet, many ASR systems do not produce punctuated and case-formatted speech transcripts. We propose to use a multi-task system…

Computation and Language · Computer Science 2021-09-14 Raghavendra Pappagari , Piotr Żelasko , Agnieszka Mikołajczyk , Piotr Pęzik , Najim Dehak

While Large Language Models (LLMs) excel at temporal reasoning tasks like event ordering and duration estimation, their ability to perceive the actual passage of time remains unexplored. We investigate whether LLMs perceive the passage of…

Computation and Language · Computer Science 2025-06-09 Minghan Wang , Ye Bai , Thuy-Trang Vu , Ehsan Shareghi , Gholamreza Haffari

Understanding interpersonal communication requires, in part, understanding the social context and norms in which a message is said. However, current methods for identifying offensive content in such communication largely operate independent…

Computation and Language · Computer Science 2023-07-07 David Jurgens , Agrima Seth , Jackson Sargent , Athena Aghighi , Michael Geraci

Lexical Substitution is the task of replacing a single word in a sentence with a similar one. This should ideally be one that is not necessarily only synonymous, but also fits well into the surrounding context of the target word, while…

Computation and Language · Computer Science 2025-02-07 Juraj Vladika , Stephen Meisenbacher , Florian Matthes

To analyse large numbers of texts, social science researchers are increasingly confronting the challenge of text classification. When manual labeling is not possible and researchers have to find automatized ways to classify texts, computer…

Computation and Language · Computer Science 2023-10-10 Karina Shyrokykh , Maksym Girnyk , Lisa Dellmuth

Task-specific word identification aims to choose the task-related words that best describe a short text. Existing approaches require well-defined seed words or lexical dictionaries (e.g., WordNet), which are often unavailable for many…

Computation and Language · Computer Science 2017-06-06 Shuhan Yuan , Xintao Wu , Yang Xiang

Knowing how to end and resume conversations over time is a natural part of communication, allowing for discussions to span weeks, months, or years. The duration of gaps between conversations dictates which topics are relevant and which…

Computation and Language · Computer Science 2023-10-25 Qiang Zhang , Jason Naradowsky , Yusuke Miyao