English
Related papers

Related papers: The DeLiVerMATH project - Text analysis in mathema…

200 papers

Sentence splitting is a major simplification operator. Here we present a simple and efficient splitting algorithm based on an automatic semantic parser. After splitting, the text is amenable for further fine-tuned simplification operations.…

Computation and Language · Computer Science 2018-10-12 Elior Sulem , Omri Abend , Ari Rappoport

Models of complicated systems can be represented in different ways - in scientific papers, they are represented using natural language text as well as equations. But to be of real use, they must also be implemented as software, thus making…

Machine translation (MT) was developed as one of the hottest research topics in the natural language processing (NLP) literature. One important issue in MT is that how to evaluate the MT system reasonably and tell us whether the translation…

Computation and Language · Computer Science 2022-01-25 Lifeng Han

Generating explanations for neural networks has become crucial for their applications in real-world with respect to reliability and trustworthiness. In natural language processing, existing methods usually provide important features which…

Computation and Language · Computer Science 2020-05-19 Hanjie Chen , Guangtao Zheng , Yangfeng Ji

Large Language Models (LLMs) have shown promising performance in summary evaluation tasks, yet they face challenges such as high computational costs and the Lost-in-the-Middle problem where important information in the middle of long…

Computation and Language · Computer Science 2024-01-19 Yunshu Wu , Hayate Iso , Pouya Pezeshkpour , Nikita Bhutani , Estevam Hruschka

Since the advent of the web, the amount of data on wen has been increased several million folds. In recent years web data generated is more than data stored for years. One important data format is text. To answer user queries over the…

Information Retrieval · Computer Science 2018-11-19 Chandra Shekhar Yadav

In model-driven engineering (MDE), UML class diagrams serve as a way to plan and communicate between developers. However, it is complex and resource-consuming. We propose an automated approach for the extraction of UML class diagrams from…

Software Engineering · Computer Science 2022-10-28 Song Yang , Houari Sahraoui

In this paper, we fine-tuned three pre-trained BERT models on the task of "definition extraction" from mathematical English written in LaTeX. This is presented as a binary classification problem, where either a sentence contains a…

Computation and Language · Computer Science 2024-07-01 Lucy Horowitz , Ryan Hathaway

We present Azimuth, an open-source and easy-to-use tool to perform error analysis for text classification. Compared to other stages of the ML development cycle, such as model training and hyper-parameter tuning, the process and tooling for…

Understanding and creating mathematics using natural mathematical language - the mixture of symbolic and natural language used by humans - is a challenging and important problem for driving progress in machine learning. As a step in this…

Information Retrieval · Computer Science 2021-06-09 Sean Welleck , Jiacheng Liu , Ronan Le Bras , Hannaneh Hajishirzi , Yejin Choi , Kyunghyun Cho

This paper introduces a method for the automatic acquisition of a rich case representation from free text for process-oriented case-based reasoning. Case engineering is among the most complicated and costly tasks in implementing a…

Artificial Intelligence · Computer Science 2013-04-16 Valmi Dufour-Lussier , Florence Le Ber , Jean Lieber , Emmanuel Nauer

This paper discusses digital online mathematics examinations -- a discussion ranging from high school to university level examinations. In particular, we consider the nature of mathematical writing, what is distinctive about mathematical…

History and Overview · Mathematics 2026-05-26 Laura Kobel-Keller , Chris Sangwin

[Abridged Abstract] Recent technological advances underscore labor market dynamics, yielding significant consequences for employment prospects and increasing job vacancy data across platforms and languages. Aggregating such data holds…

Computation and Language · Computer Science 2024-05-01 Mike Zhang

We apply text analysis approaches for a specialized search engine for 3D CAD models and associated products. The main goals are to distinguish between actual product descriptions and other text on a website, as well as to decide whether a…

Information Retrieval · Computer Science 2019-04-30 Thomas Köllmer , Jens Hasselbach , Patrick Aichroth

Automating code documentation through explanatory text can prove highly beneficial in code understanding. Large Language Models (LLMs) have made remarkable strides in Natural Language Processing, especially within software engineering tasks…

This paper describes Artex, another algorithm for Automatic Text Summarization. In order to rank sentences, a simple inner product is calculated between each sentence, a document vector (text topic) and a lexical vector (vocabulary used by…

Information Retrieval · Computer Science 2012-10-12 Juan-Manuel Torres-Moreno

In this paper, we present an efficient deep learning based approach to extract technology-related topics and keywords within scientific literature, and identify corresponding technologies within patent applications. Specifically, we utilize…

Digital Libraries · Computer Science 2022-05-23 Daniel Hain , Roman Jurowetzki , Mariagrazia Squicciarini

We present an approach for detecting multiword phrases in mathematical text corpora. The method used is based on characteristic features of mathematical terminology. It makes use of a software tool named Lingo which allows to identify words…

Computation and Language · Computer Science 2012-10-03 Winfried Gödert

Text documents can be described by a number of abstract concepts such as semantic category, writing style, or sentiment. Machine learning (ML) models have been trained to automatically map documents to these abstract concepts, allowing to…

Computation and Language · Computer Science 2017-11-01 Leila Arras , Franziska Horn , Grégoire Montavon , Klaus-Robert Müller , Wojciech Samek

Natural language generation (NLG) is increasingly deployed in high-stakes domains, yet common intrinsic evaluation methods, such as n-gram overlap or sentence plausibility, weakly correlate with actual decision-making efficacy. We propose a…

Computation and Language · Computer Science 2025-07-04 Yu-Shiang Huang , Chuan-Ju Wang , Chung-Chi Chen