paper-with-me

Papers

Discovering Mathematical Objects of Interest -- A Study of Mathematical Notations

2020-02-07 · Andre Greiner-Petter, Moritz Schubotz, Fabian Mueller, Corinna Breitinger, Howard S. Cohl, Akiko Aizawa, Bela Gipp

Mathematical notation, i.e., the writing system used to communicate concepts in mathematics, encodes valuable information for a variety of information search and retrieval systems. Yet, mathematical notations remain mostly unutilized by today's systems. In this paper, we present the first in-depth study on the distributions of mathematical notation in two large scientific corpora: the open access arXiv (2.5B mathematical objects) and the mathematical reviewing service for pure and applied mathematics zbMATH (61M mathematical objects). Our study lays a foundation for future research projects on mathematical information retrieval for large scientific corpora. Further, we demonstrate the relevance of our results to a variety of use-cases. For example, to assist semantic extraction systems, to improve scientific search engines, and to facilitate specialized math recommendation systems. The contributions of our presented research are as follows: (1) we present the first distributional analysis of mathematical formulae on arXiv and zbMATH; (2) we retrieve relevant mathematical objects for given textual search queries (e.g., linking $P_{n}^{(\alpha, \beta)}\!\left(x\right)$ with `Jacobi polynomial'); (3) we extend zbMATH's search engine by providing relevant mathematical formulae; and (4) we exemplify the applicability of the results by presenting auto-completion for math inputs as the first contribution to math recommendation systems. To expedite future research projects, we have made available our source code and data.

📄 PDF Abstract BibTeX arXiv:2002.02712

Code (1)

ag-gipp/FormulaCloudData 공식 구현 tf

Tasks

Information RetrievalMathRecommendation SystemsRetrieval

Similar Papers 제목 키워드 기반

Learning Interestingness in Automated Mathematical Theory Formation

2025-11-05 · George Tsoukalas, Rahul Saha, Amitayush Thakur, Sabrina Reguyal 외 arxiv

We take two key steps in automating the open-ended discovery of new mathematical theories, a grand challenge in artificial intelligence. First, we introduce $\emph{FERMAT}$, a reinforcement learning (RL) environment that…

Reinforcement Learning

Discovering mathematical concepts through a multi-agent system

2026-03-04 · Daattavya Aggarwal, Oisin Kim, Carl Henrik Ek, Challenger Mishra arxiv

Mathematical concepts emerge through an interplay of processes, including experimentation, efforts at proof, and counterexamples. In this paper, we present a new multi-agent model for computational mathematical discovery…

The Role of General Intelligence in Mathematical Reasoning

2021-04-27 · Aviv Keren

Objects are a centerpiece of the mathematical realm and our interaction with and reasoning about it, just as they are of the physical one (if not more). And humans' mathematical reasoning must ultimately be grounded in o…

Mathematical Reasoning

math-PVS: A Large Language Model Framework to Map Scientific Publications to PVS Theories

2023-10-25 · Hassen Saidi, Susmit Jha, Tuhin Sahai

As artificial intelligence (AI) gains greater adoption in a wide variety of applications, it has immense potential to contribute to mathematical discovery, by guiding conjecture generation, constructing counterexamples, …

Automated Theorem ProvingLanguage ModelingLanguage ModellingLarge Language Model+2

Deriving Compact Laws Based on Algebraic Formulation of a Data Set

2017-06-16 · Wenqing Xu, Mark Stalzer

In various subjects, there exist compact and consistent relationships between input and output parameters. Discovering the relationships, or namely compact laws, in a data set is of great interest in many fields, such as…