English
Related papers

Related papers: Semantic Preserving Bijective Mappings of Mathemat…

200 papers

During the last fifteen years, automatic text scaling has become one of the key tools of the Text as Data community in political science. Prominent text scaling algorithms, however, rely on the assumption that latent positions can be…

Computation and Language · Computer Science 2021-10-15 Federico Nanni , Goran Glavas , Ines Rehbein , Simone Paolo Ponzetto , Heiner Stuckenschmidt

Thanks to their linguistic capabilities, LLMs offer an opportunity to bridge the gap between informal mathematics and formal languages through autoformalization. However, it is still unclear how well LLMs generalize to sophisticated and…

Computation and Language · Computer Science 2025-09-05 Lan Zhang , Marco Valentino , Andre Freitas

Significant progress has been made in the field of handwritten mathematical expression recognition, while existing encoder-decoder methods are usually difficult to model global information in $LaTeX$. Therefore, this paper introduces a…

Computer Vision and Pattern Recognition · Computer Science 2024-11-08 Jianhua Zhu , Liangcai Gao , Wenqi Zhao

We address the problem of performing semantic transformations on strings, which may represent a variety of data types (or their combination) such as a column in a relational table, time, date, currency, etc. Unlike syntactic…

Databases · Computer Science 2012-04-30 Rishabh Singh , Sumit Gulwani

With over 200 million published academic documents and millions of new documents being written each year, academic researchers face the challenge of searching for information within this vast corpus. However, existing retrieval systems…

Information Retrieval · Computer Science 2024-05-21 Gengchen Wei , Xinle Pang , Tianning Zhang , Yu Sun , Xun Qian , Chen Lin , Han-Sen Zhong , Wanli Ouyang

We extract mathematical concepts from mathematical text using generative large language models (LLMs) like ChatGPT, contributing to the field of automatic term extraction (ATE) and mathematical text processing, and also to the study of LLMs…

Computation and Language · Computer Science 2023-09-06 Valeria de Paiva , Qiyue Gao , Pavel Kovalev , Lawrence S. Moss

Comparing document semantics is one of the toughest tasks in both Natural Language Processing and Information Retrieval. To date, on one hand, the tools for this task are still rare. On the other hand, most relevant methods are devised from…

Computation and Language · Computer Science 2020-12-09 Yuqi Kong , Fanchao Meng , Benjamin Carterette

We propose a quantitative and qualitative analysis of the performances of statistical models for frame semantic structure extraction. We report on a replication study on FrameNet 1.7 data and show that preprocessing toolkits play a major…

Computation and Language · Computer Science 2019-01-23 Alexandre Kabbach

Handwritten Mathematical Expression Recognition is foundational for educational technologies, enabling applications like digital note-taking and automated grading. While modern encoder-decoder architectures with large language models excel…

Computer Vision and Pattern Recognition · Computer Science 2025-08-28 Jakob Seitz , Tobias Lengfeld , Radu Timofte

Scientific documents contain tables that list important information in a concise fashion. Structure and content extraction from tables embedded within PDF research documents is a very challenging task due to the existence of visual features…

Information Retrieval · Computer Science 2022-11-01 Pratik Kayal , Mrinal Anand , Harsh Desai , Mayank Singh

The Machine Assisted Generation, Comparison, and Calibration (MAGCC) framework provides machine assistance and automation of recurrent crucial steps and processes in the development, implementation, testing, and use of scientific simulation…

Artificial Intelligence · Computer Science 2022-04-25 Chase Cockrell , Scott Christley , Gary An

Including LaTeX source of mathematical expressions, within the PDF document of a text-book or research paper, has definite benefits regarding `Accessibility' considerations. Here we describe three ways in which this can be done, fully…

Information Retrieval · Computer Science 2014-06-25 Ross Moore

Identifying academic plagiarism is a pressing task for educational and research institutions, publishers, and funding agencies. Current plagiarism detection systems reliably find instances of copied and moderately reworded text. However,…

Digital Libraries · Computer Science 2019-06-28 Norman Meuschke , Vincent Stange , Moritz Schubotz , Michael Karmer , Bela Gipp

In this paper, we show how selecting and combining encodings of natural and mathematical language affect classification and clustering of documents with mathematical content. We demonstrate this by using sets of documents, sections, and…

Digital Libraries · Computer Science 2020-05-25 Philipp Scharpf , Moritz Schubotz , Abdou Youssef , Felix Hamborg , Norman Meuschke , Bela Gipp

Collaborative editing questions and answers plays an important role in quality control of Mathematics Stack Exchange which is a math Q&A Site. Our study of post edits in Mathematics Stack Exchange shows that there is a large number of…

Human-Computer Interaction · Computer Science 2021-09-21 Suyu Ma , Chunyang Chen , Hourieh Khalajzadeh , John Grundy

In this chapter we provide an overview of computational modeling for semantic change using large and semi-large textual corpora. We aim to provide a key for the interpretation of relevant methods and evaluation techniques, and also provide…

Computation and Language · Computer Science 2023-04-14 Nina Tahmasebi , Haim Dubossarsky

Mathematical information is essential for technical work, but its creation, interpretation, and search are challenging. To help address these challenges, researchers have developed multimodal search engines and mathematical question…

Information Retrieval · Computer Science 2025-01-15 Richard Zanibbi , Behrooz Mansouri , Anurag Agarwal

Informal mathematical text underpins real-world quantitative reasoning and communication. Developing sophisticated methods of retrieval and abstraction from this dual modality is crucial in the pursuit of the vision of automating discovery…

Computation and Language · Computer Science 2024-04-09 Jordan Meadows , Andre Freitas

This paper presents a new framework for adding semantics into e-learning system. The proposed approach relies on two principles. The first principle is the automatic addition of semantic information when creating the mathematical contents.…

Information Retrieval · Computer Science 2012-11-09 Iyad Abu Doush , Faisal Alkhateeb , Eslam Al Maghayreh , Izzat Alsmadi , Samer Samarah

Automatic definition extraction from texts is an important task that has numerous applications in several natural language processing fields such as summarization, analysis of scientific texts, automatic taxonomy generation, ontology…

Computation and Language · Computer Science 2020-11-10 Natalia Vanetik , Marina Litvak , Sergey Shevchuk , Lior Reznik