KnowTeX: Visualizing Mathematical Dependencies

• URL: http://arxiv.org/abs/2601.15294v1
• Date: Tue, 16 Dec 2025 18:24:28 GMT
• Title: KnowTeX: Visualizing Mathematical Dependencies
• Authors: Elif Uskuplu, Lawrence S. Moss, Valeria de Paiva,
• Abstract summary: We present Know, a tool that enables the visualization of conceptual dependencies directly from sources.<n>Using a simple "uses" command, Know extracts relationships among statements and generates previewable graphs in DOT and TikZ formats.<n>We argue that dependency graphs should become a standard feature of mathematical writing, benefiting both human readers and automated systems.
• Score: 1.9531892208117902
• License: http://creativecommons.org/licenses/by/4.0/
• Abstract: Mathematical knowledge exists in many forms, ranging from informal textbooks and lecture notes to large formal proof libraries, yet moving between these representations remains difficult. Informal texts hide dependencies, while formal systems expose every detail in ways that are not always human-readable. Dependency graphs offer a middle ground by making visible the structure of results, definitions, and proofs. We present KnowTeX, a standalone, user-friendly tool that extends the ideas of Lean's Blueprints, enabling the visualization of conceptual dependencies directly from LaTeX sources. Using a simple "uses" command, KnowTeX extracts relationships among statements and generates previewable graphs in DOT and TikZ formats. Applied to mathematical texts, such graphs clarify core results, support education and formalization, and provide a resource for aligning informal and formal mathematical representations. We argue that dependency graphs should become a standard feature of mathematical writing, benefiting both human readers and automated systems.

Related papers

• LIVE: LaTex Interactive Visual Editing [0.0]
  We propose LIVE, a novel design methods idea to design interactive LaTex graphic items. Using LIVE can design more graphic items, which we call the Gitems. For vividly representing the functions of LIVE, we use the papers from NeRF as the example reference papers.
  arXiv  Detail & Related papers  (2024-05-10T18:28:00Z)
• Leveraging Pre-trained Language Models for Time Interval Prediction in Text-Enhanced Temporal Knowledge Graphs [1.4916971861796382]
  We propose a novel framework called TEMT that exploits the power of pre-trained language models (PLMs) for text-enhanced temporal knowledge graph completion. Unlike previous approaches, TEMT effectively captures dependencies across different time points and enables predictions on unseen entities.
  arXiv  Detail & Related papers  (2023-09-28T11:43:49Z)
• Joint Language Semantic and Structure Embedding for Knowledge Graph Completion [66.15933600765835]
  We propose to jointly embed the semantics in the natural language description of the knowledge triplets with their structure information. Our method embeds knowledge graphs for the completion task via fine-tuning pre-trained language models. Our experiments on a variety of knowledge graph benchmarks have demonstrated the state-of-the-art performance of our method.
  arXiv  Detail & Related papers  (2022-09-19T02:41:02Z)
• All the World's a (Hyper)Graph: A Data Drama [55.144729234861316]
  Hyperbard is a dataset of diverse data representations from Shakespeare's plays. Our representations range from simple graphs capturing character co-occurrence in single scenes to hypergraphs encoding complex communication settings. As an homage to our data source, and asserting that science can also be art, we present all our points in the form of a play.
  arXiv  Detail & Related papers  (2022-06-16T14:51:28Z)
• Math-KG: Construction and Applications of Mathematical Knowledge Graph [2.1828601975620257]
  We propose a mathematical knowledge graph named Math-KG, which automatically constructed by the pipeline method with the natural language processing technology to integrate the resources of the mathematics. We implement a simple application system to validate the proposed Math-KG can make contributions on a series of scenes, including faults analysis and semantic search.
  arXiv  Detail & Related papers  (2022-05-08T03:39:07Z)
• Knowledge Graph informed Fake News Classification via Heterogeneous Representation Ensembles [1.8374319565577157]
  We show how different document representations can be used for efficient fake news identification. One of the key contributions is a set of novel document representation learning methods based solely on knowledge graphs. We demonstrate that knowledge graph-based representations already achieve competitive performance to conventionally accepted representation learners.
  arXiv  Detail & Related papers  (2021-10-20T09:41:14Z)
• Knowledge Sheaves: A Sheaf-Theoretic Framework for Knowledge Graph Embedding [1.5469452301122175]
  We show that knowledge graph embedding is naturally expressed in the topological and categorical language of textitcellular sheaves A knowledge graph embedding can be described as an approximate global section of an appropriate textitknowledge sheaf over the graph. The resulting embeddings can be easily adapted for reasoning over composite relations without special training.
  arXiv  Detail & Related papers  (2021-10-07T20:54:40Z)
• Extracting Summary Knowledge Graphs from Long Documents [48.92130466606231]
  We introduce a new text-to-graph task of predicting summarized knowledge graphs from long documents. We develop a dataset of 200k document/graph pairs using automatic and human annotations.
  arXiv  Detail & Related papers  (2020-09-19T04:37:33Z)
• Structure-Augmented Text Representation Learning for Efficient Knowledge Graph Completion [53.31911669146451]
  Human-curated knowledge graphs provide critical supportive information to various natural language processing tasks. These graphs are usually incomplete, urging auto-completion of them. graph embedding approaches, e.g., TransE, learn structured knowledge via representing graph elements into dense embeddings. textual encoding approaches, e.g., KG-BERT, resort to graph triple's text and triple-level contextualized representations.
  arXiv  Detail & Related papers  (2020-04-30T13:50:34Z)
• Exploiting Structured Knowledge in Text via Graph-Guided Representation Learning [73.0598186896953]
  We present two self-supervised tasks learning over raw text with the guidance from knowledge graphs. Building upon entity-level masked language models, our first contribution is an entity masking scheme. In contrast to existing paradigms, our approach uses knowledge graphs implicitly, only during pre-training.
  arXiv  Detail & Related papers  (2020-04-29T14:22:42Z)
• Generative Adversarial Zero-Shot Relational Learning for Knowledge Graphs [96.73259297063619]
  We consider a novel formulation, zero-shot learning, to free this cumbersome curation. For newly-added relations, we attempt to learn their semantic features from their text descriptions. We leverage Generative Adrial Networks (GANs) to establish the connection between text and knowledge graph domain.
  arXiv  Detail & Related papers  (2020-01-08T01:19:08Z)

This list is automatically generated from the titles and abstracts of the papers in this site.

This site does not guarantee the quality of this site (including all information) and is not responsible for any consequences.