conftrace_

mathematical information retrieval

6 papers

Explore in graph

Also known as

MIR MATHIR

Co-occurring keywords · papers mentioning both

information retrieval (3) formula grounding (2) variable typing (1) symbol disambiguation (1) type embedding (1) scientific document analysis (1) mathematical formula (1) mathematical language processing (1) mathematical text (1) math identifier disambiguation (1)

Papers

Formula-Text Cross-Retrieval: A Benchmarking Study of Dense Embedding Methods for Mathematical Information Retrieval EMNLP 2025 What Is Needed for Intra-document Disambiguation of Math Identifiers? COLING 2024 BERT Is Not The Count: Learning to Match Mathematical Statements with Proofs EACL 2023 Towards Grounding of Formulae EMNLP 2020 Variable Typing: Assigning Meaning to Variables in Mathematical Text NAACL 2018 Mathematical Information Retrieval based on Type Embeddings and Query Expansion COLING 2016