Paper Citation Record · LEDGER

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization

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

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

pith.paper-citation-record.v1
2607.20503 v1

Coverage vector

measured 30 of 30 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-02T09:51:59.498822Z

measured 30 of 30 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 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

30 of 30 outbound references displayed

verified exact2
verified fuzzy0
unresolved27
parse uncertain1
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation c0333f0f-33b4-4794-8e38-462e19573d1a · outbound

This paper cites doi:10.48550/arXiv.2602.17016 , url =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization doi:10.48550/arXiv.2602.17016 , url =

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:58.592693Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbdec0fc-3260-4aba-b478-62b33961ade9 · outbound

This paper cites an unresolved cited work.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:58.743789Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2c38409-a94c-4c3e-b68f-8021f2f610bf · outbound

This paper cites an unresolved cited work.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Unresolved cited work

Reference 3

Resolution: parse uncertain; no resolver link, observed 2026-08-02T09:51:58.868293Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b61aee6e-b06a-4501-803f-c8b64b726238 · outbound

This paper cites 2024 , publisher =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization 2024 , publisher =

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.086664Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 534df8b3-3b64-4258-b21d-a91b9eec5016 · outbound

This paper cites Parametrization of Pythagorean triples by a single triple of polynomials.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Parametrization of Pythagorean triples by a single triple of polynomials

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.336398Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a157fb9a-f046-4ad4-824a-2d9ef21bcc18 · outbound

This paper cites A calculus proof of the Cram\'er-Wold theorem.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization A calculus proof of the Cram\'er-Wold theorem

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.394054Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0600a303-7f6a-4cac-82b3-393dae4e7205 · outbound

This paper cites an unresolved cited work.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Unresolved cited work

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.398941Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e9694856-3bf5-4436-81be-585abe911d00 · outbound

This paper cites Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs , pages =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Proceedings of the 9th ACM SIGPLAN International Conference on Certified Programs and Proofs , pages =

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.403287Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation df020018-2317-42b9-8d52-8fcbfa105033 · outbound

This paper cites 2022 , url =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization 2022 , url =

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.407570Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2fd7d892-83ba-4b90-9d27-6deaa0cd9886 · outbound

This paper cites LeanDojo: Theorem Proving with Retrieval-Augmented Language Models.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization LeanDojo: Theorem Proving with Retrieval-Augmented Language Models

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.411871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c1e840f-c1d9-4ad8-a432-f3dc42ab72ef · outbound

This paper cites LeanExplore: A search engine for Lean 4 declarations.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization LeanExplore: A search engine for Lean 4 declarations

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.417402Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 453c6d78-8c64-4301-b6cd-f1bf90d257de · outbound

This paper cites Autoformalization with Large Language Models.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Autoformalization with Large Language Models

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.422600Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1a0dced-0e66-4b07-bcac-37e12dfa6ec7 · outbound

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

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization ProofNet: Autoformalizing and Formally Proving Undergraduate-Level Mathematics

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.427687Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f39d8ff3-83f5-4424-931e-87c81bf7a04d · outbound

This paper cites Process-Driven Autoformalization in Lean 4.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Process-Driven Autoformalization in Lean 4

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.432329Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 04cceab0-a7cd-458c-aff4-b3de666890a8 · outbound

This paper cites Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing , pages =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing , pages =

Reference 15

Resolution: verified exact; doi, observed 2026-08-02T09:53:22.590217Z

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 d624a6ca-01cb-45ea-84aa-1263157defc2 · outbound

This paper cites doi:10.48550/arXiv.2510.25427 , url =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization doi:10.48550/arXiv.2510.25427 , url =

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.441021Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 97192d8b-4a86-4615-bcd5-fb3aba7f231b · outbound

This paper cites an unresolved cited work.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.445141Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9561ee9c-2d53-4537-b0a7-7b48f7f09748 · outbound

This paper cites 2025 , howpublished =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization 2025 , howpublished =

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.449067Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61b68fa3-1f86-4e0c-a74a-11c40c442258 · outbound

This paper cites an unresolved cited work.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Unresolved cited work

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.453111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5a4ffe9b-de90-4c88-91f1-75400c9a10ac · outbound

This paper cites miniCTX: Neural Theorem Proving with (Long-)Contexts.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization miniCTX: Neural Theorem Proving with (Long-)Contexts

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.457358Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a3d73ee9-d96b-41dc-92c8-a08b96d21ea4 · outbound

This paper cites Construction-Verification: A Benchmark for Applied Mathematics in.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization Construction-Verification: A Benchmark for Applied Mathematics in

Reference 21

Resolution: verified exact; arxiv_id, observed 2026-08-02T09:53:22.416668Z

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 002d5942-9e6f-4e33-a316-a6d944ef4e75 · outbound

This paper cites doi:10.48550/arXiv.2603.02668 , url =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization doi:10.48550/arXiv.2603.02668 , url =

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.466251Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7360c5a1-4199-4548-8d10-e5ed0ae25838 · outbound

This paper cites doi:10.48550/arXiv.2602.18307 , url =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization doi:10.48550/arXiv.2602.18307 , url =

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.470328Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation adf2a69b-c56b-4f0d-bd73-2511e6c10f1c · outbound

This paper cites doi:10.48550/arXiv.2510.02335 , url =.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization doi:10.48550/arXiv.2510.02335 , url =

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.474140Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 60431213-6434-4411-92c2-a21e75d794b2 · outbound

This paper cites FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization FormalMATH: Benchmarking Formal Mathematical Reasoning of Large Language Models

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.477934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39f97e33-737e-46a5-85d0-6b69c90ae366 · outbound

This paper cites PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization PutnamBench: Evaluating Neural Theorem-Provers on the Putnam Mathematical Competition

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.482077Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d532fd7c-4cf7-44f2-88f7-496da0431e6d · outbound

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

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization DeepSeek-Prover-V2: Advancing Formal Mathematical Reasoning via Reinforcement Learning for Subgoal Decomposition

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.486757Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a7885002-0e73-47a5-b641-bf2f4a5b2bab · outbound

This paper cites 2026 , eprint=.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization 2026 , eprint=

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.490888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ada61276-7d55-4982-aeff-4ec317e0b5c4 · outbound

This paper cites 2026 , eprint=.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization 2026 , eprint=

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.494851Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61215493-e619-4c88-b6e5-cb5f34f7eea1 · outbound

This paper cites 2026 , eprint=.

LeanFlow: A Case Study in Workflow-Driven Lean Autoformalization 2026 , eprint=

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-02T09:51:59.498822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.