Paper Citation Record · LEDGER

LLMSTEP: LLM proofstep suggestions in Lean

As of 21 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 8 inbound Pith citation observations for arXiv:2310.18457.

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

pith.paper-citation-record.v1
2310.18457 v1

Coverage vector

measured 0 of 0 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links

measured 8 of 8 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-20T06:33:59.587034+00:00

measured 8 of 8 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-16T06:05:42.604965Z

measured 1 of 1 external citation measurements

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

Source: arxiv_reference, 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

3
arxiv_reference, observed 2026-08-05T02:28:24.338817Z

Outbound references

No outbound reference observations are available for this paper version.

Pith citing papers

Observation 4e08b31d-c564-44e5-b14b-92487cecf940 · 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 LLMSTEP: LLM proofstep suggestions in Lean

Reference 26

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0b02b037-9388-4318-b3d1-188b5d6ee502 · inbound

Hierarchical Attention Generates Better Proofs cites this paper.

Hierarchical Attention Generates Better Proofs LLMSTEP: LLM proofstep suggestions in Lean

Reference 62

Resolution: unresolved; no resolver link, observed 2026-08-16T06:05:42.604965Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b2aa1c1-1feb-499a-b55f-2ba040550ce6 · inbound

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis cites this paper.

Seeking Specifications: The Case for Neuro-Symbolic Specification Synthesis LLMSTEP: LLM proofstep suggestions in Lean

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-16T05:28:32.150999Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b3e6e4c1-938e-4d67-bd70-b145e51e865d · inbound

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations cites this paper.

Faithful and Robust LLM-Driven Theorem Proving for NLI Explanations LLMSTEP: LLM proofstep suggestions in Lean

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-07T12:35:19.988186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f0cb1a60-ee53-4a9b-b0b2-aab6ff464e43 · inbound

Clarifying Before Reasoning: A Coq Prover with Structural Context cites this paper.

Clarifying Before Reasoning: A Coq Prover with Structural Context LLMSTEP: LLM proofstep suggestions in Lean

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T20:31:27.491862Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1c937c3b-4814-4146-b2c3-163eeeda63ce · inbound

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus cites this paper.

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus LLMSTEP: LLM proofstep suggestions in Lean

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-06T05:55:51.110232Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5c573cbb-1617-4894-82e9-4991b4589413 · inbound

Automating Formal Verification with Agent-Guided Tree Search cites this paper.

Automating Formal Verification with Agent-Guided Tree Search LLMSTEP: LLM proofstep suggestions in Lean

Reference 85

Resolution: verified exact; arxiv_id, observed 2026-06-29T15:03:31.413991Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.

Observation 90fd31b1-ae9d-46b9-bb69-d6ab7899aa55 · inbound

An Empirical Study of LLM-Generated Specifications for VeriFast cites this paper.

An Empirical Study of LLM-Generated Specifications for VeriFast LLMSTEP: LLM proofstep suggestions in Lean

Reference 19

Resolution: verified exact; arxiv_id, observed 2026-07-04T13:49:52.468005Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-20T06:33:59.587034+00:00.