Paper Citation Record · LEDGER

Multilingual Mathematical Autoformalization

As of 12 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 11 inbound Pith citation observations for arXiv:2311.03755.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2311.03755 v2

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 11 of 11 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 11 of 11 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-08T22:00:46.348039Z

measured 1 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: pith, observed 2026-08-05T02:28:24.338817Z

Reference resolution

0 of 0 outbound references displayed

verified exact0
verified fuzzy0
unresolved0
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

1
pith, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 70a08e20-7dd7-485d-a802-7678fd0c902c · inbound

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving cites this paper.

ProofWala: A Framework for Multilingual Proof Data Synthesis and Theorem-Proving Multilingual Mathematical Autoformalization

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-08T22:00:46.348039Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b534ccb-ce0c-4930-9b82-5e9d832459e1 · inbound

Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach cites this paper.

Scaling up Test-Time Compute with Latent Reasoning: A Recurrent Depth Approach Multilingual Mathematical Autoformalization

Reference 76

Resolution: verified exact; arxiv_id, observed 2026-05-12T15:39:41.333638Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation d8364161-c690-4e77-84d9-4699d761cb2c · inbound

Mathesis: Towards Formal Theorem Proving from Natural Languages cites this paper.

Mathesis: Towards Formal Theorem Proving from Natural Languages Multilingual Mathematical Autoformalization

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-07T05:50:36.883025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 562d6a40-1ec9-4121-b7a9-f5dadb92e42b · inbound

Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams cites this paper.

Text to model via SysML: Automated generation of dynamical system computational models from unstructured natural language text via enhanced System Modeling Language diagrams Multilingual Mathematical Autoformalization

Reference 53

Resolution: verified exact; arxiv_id, observed 2026-05-19T05:17:05.983065Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 4bc93888-591e-419f-8fc3-6990487cfa88 · inbound

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization cites this paper.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization Multilingual Mathematical Autoformalization

Reference 1996

Resolution: unresolved; no resolver link, observed 2026-08-06T18:47:45.663970Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 99d58dea-a2f2-4eaf-8a4e-2c81289ecc83 · inbound

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation cites this paper.

Integrating Rules and Semantics for LLM-Based C-to-Rust Translation Multilingual Mathematical Autoformalization

Reference 1997

Resolution: unresolved; no resolver link, observed 2026-08-05T22:28:12.115805Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 90a7a43e-baaa-4df7-b2b2-1931dd034a66 · inbound

FormaRL: Enhancing Autoformalization with no Labeled Data cites this paper.

FormaRL: Enhancing Autoformalization with no Labeled Data Multilingual Mathematical Autoformalization

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-05T16:11:23.142195Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8db25b4e-1aea-4f4d-bc50-271100490793 · inbound

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph cites this paper.

Aria: An Agent For Retrieval and Iterative Auto-Formalization via Dependency Graph Multilingual Mathematical Autoformalization

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T11:31:37.883570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 86f87af4-61eb-42b9-a956-1d716447febd · inbound

AI for Mathematics: Progress, Challenges, and Prospects cites this paper.

AI for Mathematics: Progress, Challenges, and Prospects Multilingual Mathematical Autoformalization

Reference 77

Resolution: verified exact; arxiv_id, observed 2026-05-16T13:27:55.826225Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation 7f68f1b9-14b6-4ec3-96ad-c44944801a91 · inbound

MathAtlas: A Benchmark for Autoformalization in the Wild cites this paper.

MathAtlas: A Benchmark for Autoformalization in the Wild Multilingual Mathematical Autoformalization

Reference 13

Resolution: verified exact; arxiv_id, observed 2026-05-15T05:09:44.464875Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.

Observation bac57d49-68a2-468d-9cfd-6b420f4072bd · inbound

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier cites this paper.

From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier Multilingual Mathematical Autoformalization

Reference 108

Resolution: verified exact; local_arxiv, observed 2026-07-10T18:17:33.686059Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-12T06:34:41.77262+00:00.