Paper Citation Record · LEDGER

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

As of 19 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 5 inbound Pith citation observations for arXiv:2507.07399.

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

pith.paper-citation-record.v1
2507.07399 v2

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T18:47:46.592747Z

measured 18 of 18 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-18T06:34:40.430872+00:00

measured 5 of 5 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-07-11T15:42:50.296348Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-07-04T19:10:04.253172Z

Reference resolution

13 of 13 outbound references displayed

verified exact1
verified fuzzy4
unresolved8
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation fc61a09e-1e28-4e02-8cb6-4f7688e6e6c6 · outbound

This paper cites Towards a Mathematics Formalisation Assistant using Large Language Models.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization Towards a Mathematics Formalisation Assistant using Large Language Models

Reference 1

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2e7b6dc1-2ab6-401d-b7b2-a303a2d935b8 · outbound

This paper cites Process-Driven Autoformalization in Lean 4.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization Process-Driven Autoformalization in Lean 4

Reference 4

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1df92baa-389a-4c44-b8f4-316f1a2ae554 · outbound

This paper cites Rethinking and improving autoformalization: Towards a faithful met- ric and a dependency retrieval-based approach.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization Rethinking and improving autoformalization: Towards a faithful met- ric and a dependency retrieval-based approach

Reference 6

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d9ab517e-073a-46ba-91fa-09f2d5231c8b · outbound

This paper cites First experiments with neural translation of informal to formal mathematics.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization First experiments with neural translation of informal to formal mathematics

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:47:47.362273Z

Source-reported events for the cited work

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

Observation b815c0df-cafb-441a-a788-849f4a226428 · outbound

This paper cites InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization InternLM-Math: Open Math Large Language Models Toward Verifiable Reasoning

Reference 11

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b3bc39a-f464-4561-b816-f22b734aa5b3 · outbound

This paper cites Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization Evaluating Token-Level and Passage-Level Dense Retrieval Models for Math Information Retrieval

Reference 13

Resolution: verified exact; local_arxiv, observed 2026-08-06T18:47:46.803946Z

Source-reported events for the cited work

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

Observation 8c7cf5bd-192e-40e2-9fba-da70ce035337 · outbound

This paper cites Consistent autofor- malization for constructing mathematical libraries.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization Consistent autofor- malization for constructing mathematical libraries

Reference 1989

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:47:47.195938Z

Source-reported events for the cited work

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

Observation 7eced525-cb3f-4139-8454-ca5b7659628f · outbound

This paper cites DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 1994

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

This paper cites Multilingual Mathematical Autoformalization.

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 f058d9bc-074c-46de-b35f-3bb7affe95c7 · outbound

This paper cites ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 2022

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b383aec-2d05-44a5-b19e-962423e91f81 · outbound

This paper cites The Lean theorem prover (system description).

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization The Lean theorem prover (system description)

Reference 2023

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:47:47.648952Z

Source-reported events for the cited work

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

Observation 783a8ffb-a6e5-4664-8a11-e8f5126f2b7d · outbound

This paper cites DeepSeek-V3 Technical Report.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization DeepSeek-V3 Technical Report

Reference 2024

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a048dc5b-7170-4acb-b150-a48080b97bf6 · outbound

This paper cites A promising path towards autoformaliza- tion and general artificial intelligence.

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization A promising path towards autoformaliza- tion and general artificial intelligence

Reference 2025

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T18:47:47.534517Z

Source-reported events for the cited work

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

Pith citing papers

Observation d5bdd0d3-d64f-4160-806f-b2f2acaf5194 · inbound

Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization cites this paper.

Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-11T20:36:08.392602Z

Source-reported events for the cited work

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

Observation b9b735d2-4610-4445-8287-2014079ad5ed · inbound

Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization cites this paper.

Characterizing Paraphrase-Induced Failures in Lean 4 Autoformalization Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Reference 5

Resolution: verified exact; arxiv_id, observed 2026-05-21T00:53:53.702645Z

Source-reported events for the cited work

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

Observation c0b8efe4-0bbb-452e-a004-39d4f179fe6d · inbound

Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language cites this paper.

Verifiable Auto-Formalization of Mathematics Using a Relaxed Natural Formal Language Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Reference 17

Resolution: verified exact; arxiv_id, observed 2026-07-04T19:10:04.255134Z

Source-reported events for the cited work

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

Observation 3189963b-12d5-4f04-9f90-28ab408dbfb8 · inbound

The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization cites this paper.

The Signal-Coverage Matrix: Stratifying Type and Semantic Errors in Statement Autoformalization Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Reference 26

Resolution: metadata mismatch; arxiv_id, observed 2026-07-01T16:55:51.167796Z

Source-reported events for the cited work

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

Observation b7894bb9-4dff-41df-8117-58887cd43201 · inbound

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization cites this paper.

FormalRx: Rectify and eXamine Semantic Failures in Autoformalization Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization

Reference 114

Resolution: unresolved; no resolver link, observed 2026-07-11T15:42:50.296348Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.