A fine-tuning retrieval system for mathematical information

DOI10.1007/978-981-16-6890-6_81OpenAlexW4226263177MaRDI QIDQ2080050

Sivaji Bandyopadhyay, Pankaj Dadure, Partha Pakray

Publication date: 7 October 2022

Full work available at URL: https://doi.org/10.1007/978-981-16-6890-6_81

zbMATH Keywords

bit position information tablecanonicalization tokenizationformula embeddingformula generalizationmathematical information retrievalstructural unification

Mathematics Subject Classification ID

Biology and other natural sciences (92-XX) Computer science (68-XX)

Cites Work

• Mathematical knowledge management in HELM
• Knowledge representation and management in ACTIVEMATH
• Indexing and Searching Mathematics in Digital Libraries

This page was built for publication: A fine-tuning retrieval system for mathematical information