Introduction to mathematical language processing: Informal proofs, word problems, and supporting tasks

J Meadows, A Freitas - Transactions of the Association for …, 2023 - direct.mit.edu
Automating discovery in mathematics and science will require sophisticated methods of
information extraction and abstract reasoning, including models that can convincingly …

One blade for one purpose: advancing math information retrieval using hybrid search

W Zhong, SC Lin, JH Yang, J Lin - … of the 46th International ACM SIGIR …, 2023 - dl.acm.org
Neural retrievers have been shown to be effective for math-aware search. Their ability to
cope with math symbol mismatches, to represent highly contextualized semantics, and to …

[PDF][PDF] Combining Sparse and Dense Information Retrieval.

V Novotný, M Stefánik - CLEF (Working Notes), 2022 - ceur-ws.org
Sparse retrieval techniques can detect exact matches, but are inadequate for mathematical
texts, where the same information can be expressed as either text or math. The soft vector …

ComSearch: Equation Searching with Combinatorial Strategy for Solving Math Word Problems with Weak Supervision

Q Liu, W Guan, J Shen, F Cheng… - arXiv preprint arXiv …, 2022 - arxiv.org
Previous studies have introduced a weakly-supervised paradigm for solving math word
problems requiring only the answer value annotation. While these methods search for …

Clarifying Questions in Math Information Retrieval

B Mansouri, Z Jahedibashiz - Proceedings of the 2023 ACM SIGIR …, 2023 - dl.acm.org
One of the challenges of math information retrieval is the inherent ambiguity of mathematical
notation. The use of various notations, symbols, and conventions can lead to ambiguities in …

Answer Retrieval for Math Questions Using Structural and Dense Retrieval

W Zhong, Y Xie, J Lin - International Conference of the Cross-Language …, 2023 - Springer
Answer retrieval for math questions is a challenging task due to the complex and structured
nature of mathematical expressions. In this paper, we combine a structure retriever and a …

[PDF][PDF] AIIR and LIAAD Labs Systems for CLEF 2023 SimpleText.

B Mansouri, S Durgin, SJ Franklin, S Fletcher… - CLEF (Working …, 2023 - sheadurgin.com
This paper describes the participation of the Artificial Intelligence and Information Retrieval
(AIIR) Lab from the University of Southern Maine and the Laboratory of Artificial Intelligence …

[PDF][PDF] Numerical Reasoning in NLP: Challenges, Innovations, and Strategies for Handling Mathematical Equivalency

Q Liu - 2023 - repository.kulib.kyoto-u.ac.jp
Numerical reasoning plays a pivotal role in both the realm of natural language processing
(NLP) research and real-life applications. Numerical reasoning, as an integral component of …

Information Access Using Neural Networks For Diverse Domains And Sources

Y Xie - 2023 - uwspace.uwaterloo.ca
The ever-increasing volume of web-based documents poses a challenge in efficiently
accessing specialized knowledge from domain-specific sources, requiring a profound …