Making Mathematical Knowledge Explainable, Accessible and Interoperable Through Large Language Model Integration
Not on the map. Why?
Abstract (arXiv)
Mathematical models are central to formalizing research problems, yet their documentation often falls short of FAIR principles. Knowledge bases such as the Mathematical Model Database (MathModDB) address this gap by providing curated, semantically rich representations of mathematical models. Built on Wikibase, the same open-source infrastructure underlying Wikidata, MathModDB utilizes Semantic Web technologies to support Linked Open Data, collaborative editing, and the storage of semantically enriched metadata, making it a domain-specific knowledge graph within the broader Wikidata ecosystem. However, access to MathModDB currently requires either navigating a complex web interface or proficiency in SPARQL and Wikibase APIs, posing significant barriers for potential users. In addition, the combination of such curated knowledge bases with actual research data stored, e.g., in Dataverse repository instances, remains a challenge. To overcome these limitations, we propose integrating Large Language Models (LLMs) with MathModDB via a Model Context Protocol (MCP) server that exposes a vector-indexed schema retrieval and Steiner-tree-based join planner, combining dialogue-based natural language interaction with curated, epistemically grounded knowledge. Although instantiated on MathModDB, the architecture can be applied to other Wikibase-based systems. We demonstrate that this approach enables epistemically grounded LLM usage, improves model explainability and accessibility beyond what the standard Wikibase interface offers, and simplifies interoperability with external databases and tools, such as Dataverse data repositories. We illustrate the benefits of combining the accessibility of an LLM with the epistemic safety of a curated knowledge base through the adaptability of the MCP protocol by two use cases involving mathematical models in the fields of continuum mechanics and enzyme kinetics.
Key facts. No citing papers in the map yet (data through 14 Oct 2026). Builds on 9 of its 35 references that are in the map. First posted on arXiv 27 Jul 2026.
Builds on
9 of 35 references.
References · 9
- 2020ColBERT: Efficient and Effective Passage Search via Contextualized Late Interaction over BERTcited by 1,178
- 2025Model Context Protocol (MCP): Landscape, Security Threats, and Future Research Directionscited by 265
- 2024Knowledge Graphs as Context Sources for LLM-Based Explanations of Learning Recommendationscited by 31
- 2024SPINACH: SPARQL-Based Information Navigation for Challenging Real-World Questionscited by 27
- 2025Experiences with Model Context Protocol Servers for Science and High Performance Computingcited by 6
- 2023Bravo MaRDI: A Wikibase Powered Knowledge Graph on Mathematicscited by 3
- 2023Ontologies for Models and Algorithms in Applied Mathematics and Related Disciplinescited by 3
- 2026Agentic SPARQL: Evaluating SPARQL-MCP-powered Intelligent Agents on the Federated KGQA Benchmarkcited by 3
- 2024Towards a Knowledge Graph for Models and Algorithms in Applied Mathematicscited by 2
Built on by
Not cited yet.
Similar, not cited
Close in wording, no citation either way
- 2025AutoMathKG: The automated mathematical knowledge graph based on LLM and vector database
- 2025Integrating External Tools with Large Language Models to Improve Accuracy
- 2025Arrows of Math Reasoning Data Synthesis for Large Language Models: Diversity, Complexity and Correctness
- 2023OpenWebMath: An Open Dataset of High-Quality Mathematical Web Text
- 2024LLMs for Mathematical Modeling: Towards Bridging the Gap between Natural and Mathematical Languages
- 2025MegaMath: Pushing the Limits of Open Math Corpora
- 2023MetaMath: Bootstrap Your Own Mathematical Questions for Large Language Models
- 2025MM-Agent: LLM as Agents for Real-world Mathematical Modeling Problem