How It Works

The system detects connections between \newtheorem blocks and references, then visualizes them in an interactive graph. Supports direct references, proofs, section references, equations, and nearby references.

Example 1: Direct links

\newtheorem{thm}{Theorem}
\newtheorem{lem}{Lemma}
\newtheorem{defn}{Definition}

\begin{defn}[Definition A]
\label{defn:a}
\end{defn}

\begin{thm}[Theorem A]
\label{thm:a}
We need \ref{defn:a} to formulate the theorem
\end{thm}

\begin{lem}[Lemma A]
\label{lem:a}
Link to \ref{thm:a}
\end{lem}

Example 2: Proof blocks

The graph also works with \begin{proof} that immediately follows a newtheorem block (that is not a remark or example).

\begin{lem}[Lemma C]
\label{lemma-c}
\end{lem}

\begin{proof}
% Proof is associated with Lemma C
Uses Definition A \ref{def-a}
\end{proof}

Example 3: Sections with refs

Links can also be established for newtheorem blocks referenced inside \section, \subsection, etc.

\subsection*{Proof of \ref{thm:a} and \ref{thm:b}}
Lemma A \ref{lem:a} creates a link to Theorem A and Theorem B.

Example 4: Linking by equations

References to equations nested inside newtheorem environments can also be linked.

Example 5: Indirect links ("nearby refs")

References that appear immediately outside a newtheorem block are called "nearby refs". These links are dotted and can be toggled on/off.

Interface

Panel

The graph interface includes a control panel on the right side that lets you customize the visualization:

• Math Environments: Filter which types of mathematical objects to display
• Display Options: Toggle edge labels and nearby references on/off

Interactive UI

• Hover: Move your cursor over any node to highlight its connections
• Click to Pin: Click on a node to pin it, keeping the node and its dependencies highlighted

Creating Your Own Dependency Graph

To generate a dependency graph for your own LaTeX paper:

1. Upload: Click "My Uploads" and upload your LaTeX source file
2. Processing: After uploading, you'll be redirected to your dashboard where the paper will be processed
3. View Paper: Once processing is complete, click the blue "View as HTML" button
4. Graph Tab: Click on the "Graph" tab at the top to view the dependency graph

Markdown Export

Our Markdown export is purpose-built for research papers and significantly more robust than generic LaTeX→Markdown converters.

Key Features

• Complete numbering preservation — Sections, equations, figures, tables, and theorems all keep their original numbers
• Linkable cross-references — All \ref{...} commands become live markdown links
• Complete asset package Pro — Download with all figures and diagrams in optimized formats
• LLM-friendly annotations — Your notes are embedded as structured JSON in HTML comments
• Works everywhere — Compatible with Obsidian, Notion, VSCode, GitHub

JSON Export

Our JSON format is machine-native and optimized for AI applications, LLM ingestion, and programmatic analysis.

Why JSON Over PDFs for LLMs?

Key Properties

• Macros expanded — All \newcommand definitions resolved
• Stable IDs — Every block has a unique identifier
• Semantic types — Explicit tags for abstracts, proofs, definitions, etc.
• Resolved references — \ref{thm:main} links to the actual theorem block

LaTeX Export

Download the raw LaTeX source with all macros expanded and content in the correct order.

What You Get

• Macro expansion — All \newcommand, \def, and custom commands resolved
• Complete content — All \input and \include files merged in order
• Clean formatting — Unnecessary whitespace and comments removed
• Bibliography included — References appended as BibTeX entries