English
Related papers

Related papers: Solving the Petri-Nets to Statecharts Transformati…

200 papers

This paper presents an empirical study of conversational question reformulation (CQR) with sequence-to-sequence architectures and pretrained language models (PLMs). We leverage PLMs to address the strong token-to-token independence…

Computation and Language · Computer Science 2020-04-07 Sheng-Chieh Lin , Jheng-Hong Yang , Rodrigo Nogueira , Ming-Feng Tsai , Chuan-Ju Wang , Jimmy Lin

Tabular data is prevalent across various industries, necessitating significant time and effort for users to understand and manipulate for their information-seeking purposes. The advancements in large language models (LLMs) have shown…

Computation and Language · Computer Science 2023-11-01 Yilun Zhao , Haowei Zhang , Shengyun Si , Linyong Nan , Xiangru Tang , Arman Cohan

In this work, we present a new dataset for computational humor, specifically comparative humor ranking, which attempts to eschew the ubiquitous binary approach to humor detection. The dataset consists of tweets that are humorous responses…

Computation and Language · Computer Science 2017-04-18 Peter Potash , Alexey Romanov , Anna Rumshisky

We introduce LEAF-QA, a comprehensive dataset of $250,000$ densely annotated figures/charts, constructed from real-world open data sources, along with ~2 million question-answer (QA) pairs querying the structure and semantics of these…

Computer Vision and Pattern Recognition · Computer Science 2019-07-31 Ritwick Chaudhry , Sumit Shekhar , Utkarsh Gupta , Pranav Maneriker , Prann Bansal , Ajay Joshi

Large language models have significantly advanced natural language processing, yet their heavy resource demands pose severe challenges regarding hardware accessibility and energy consumption. This paper presents a focused and high-level…

Artificial Intelligence · Computer Science 2025-05-14 Tollef Emil Jørgensen

In this technical paper we introduce the Tensor Network Theory (TNT) library -- an open-source software project aimed at providing a platform for rapidly developing robust, easy to use and highly optimised code for TNT calculations. The…

Quantum Physics · Physics 2017-10-11 Sarah Al-Assam , Stephen R. Clark , Dieter Jaksch

Petri nets are an established graphical formalism for modeling and analyzing the behavior of systems. An important consideration of the value of Petri nets is their use in describing both the syntax and semantics of modeling formalisms.…

Software Engineering · Computer Science 2018-10-24 Sabah Al-Fedaghi , Dana Shbeeb

The rapid adoption of Generative AI, including LLM-based chatbots like ChatGPT, has highlighted the need for accessible ways to support public understanding and AI literacy. To address this need, we introduce a game-based, interactive…

Computation and Language · Computer Science 2026-05-21 Francesca Padovani , Malvina Nissim

Petri Nets (PN) are a central, theoretically sound model for concurrent or distributed systems but, at least in their classical definition, not expressive enough to represent dynamic reconfiguration capabilities. On the other side,…

Logic in Computer Science · Computer Science 2021-11-17 Lorenzo Capra

Large reasoning models (LRMs) have attracted much attention due to their exceptional performance. However, their performance mainly stems from thinking, a long Chain of Thought (CoT), which significantly increase computational overhead. To…

Artificial Intelligence · Computer Science 2026-01-09 Siyuan Gan , Jiaheng Liu , Boyan Wang , Tianpei Yang , Runqing Miao , Yuyao Zhang , Fanyu Meng , Junlan Feng , Linjian Meng , Jing Huo , Yang Gao

Harnessing the potential of large language models (LLMs) like ChatGPT can help address social challenges through inclusive, ethical, and sustainable means. In this paper, we investigate the extent to which ChatGPT can annotate data for…

Artificial Intelligence · Computer Science 2024-07-10 Yiming Zhu , Peixian Zhang , Ehsan-Ul Haq , Pan Hui , Gareth Tyson

Question answering over knowledge graphs (KG-QA) is a vital topic in IR. Questions with temporal intent are a special class of practical importance, but have not received much attention in research. This work presents EXAQT, the first…

Information Retrieval · Computer Science 2021-09-21 Zhen Jia , Soumajit Pramanik , Rishiraj Saha Roy , Gerhard Weikum

Text-to-SQL translation enables non-expert users to query relational databases using natural language, with applications in education and business intelligence. This study evaluates three lightweight transformer models - T5-Small,…

Computation and Language · Computer Science 2025-08-07 Chirag Seth , Utkarsh Singh

This paper describes the design and implementation of a new machine learning model for online learning systems. We aim at improving the intelligent level of the systems by enabling an automated math word problem solver which can support a…

Machine Learning · Computer Science 2022-08-15 Zijian Hu , Meng Jiang

Developing natural language processing (NLP) systems for social media analysis remains an important topic in artificial intelligence research. This article introduces RoBERTweet, the first Transformer architecture trained on Romanian…

Computation and Language · Computer Science 2023-06-13 Iulian-Marius Tăiatu , Andrei-Marius Avram , Dumitru-Clementin Cercel , Florin Pop

Recently, it has been shown that the incorporation of structured knowledge into Large Language Models significantly improves the results for a variety of NLP tasks. In this paper, we propose a method for exploring pre-trained Text-to-Text…

Computation and Language · Computer Science 2023-10-04 Mikhail Salnikov , Hai Le , Prateek Rajput , Irina Nikishina , Pavel Braslavski , Valentin Malykh , Alexander Panchenko

We propose a new method that takes advantage of structural reductions to accelerate the verification of reachability properties on Petri nets. Our approach relies on a state space abstraction, called polyhedral abstraction, which involves a…

Logic in Computer Science · Computer Science 2023-02-07 Nicolas Amat , Silvano Dal Zilio , Didier Le Botlan

Neural abstractive text summarization (NATS) has received a lot of attention in the past few years from both industry and academia. In this paper, we introduce an open-source toolkit, namely LeafNATS, for training and evaluation of…

Computation and Language · Computer Science 2019-06-05 Tian Shi , Ping Wang , Chandan K. Reddy

We present libsharp, a code library for spherical harmonic transforms (SHTs), which evolved from the libpsht library, addressing several of its shortcomings, such as adding MPI support for distributed memory systems and SHTs of fields with…

Computational Physics · Physics 2015-06-15 Martin Reinecke , Dag Sverre Seljebotn

Tashkeel, or Arabic Text Diacritization (ATD), greatly enhances the comprehension of Arabic text by removing ambiguity and minimizing the risk of misinterpretations caused by its absence. It plays a crucial role in improving Arabic text…

Computation and Language · Computer Science 2024-07-16 Faris Alasmary , Orjuwan Zaafarani , Ahmad Ghannam
‹ Prev 1 8 9 10 Next ›