Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
The Lean mathematical library
As of 9 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 10 inbound Pith citation observations for arXiv:1910.09336.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-07T10:44:59.402345Z
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
0
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 df9bded4-17a9-478c-969b-f7b2d77c37bb · inbound
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification cites this paper.
Safe: Enhancing Mathematical Reasoning in Large Language Models via Retrospective Step-aware Formal Verification The Lean mathematical library
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-07T10:44:59.402345Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 48be1bf3-2c5d-43c9-8c29-a7b1e9410342 · inbound
Exploring Formal Math on the Blockchain: An Explorer for Proofgold cites this paper.
Exploring Formal Math on the Blockchain: An Explorer for Proofgold The Lean mathematical library
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T20:58:27.639555Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d3aa6f13-67f0-420f-bc08-ce753d9c5db7 · inbound
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4 cites this paper.
Nazrin: An Atomic Neural Proof Automation Tactic in Lean 4 The Lean mathematical library
Reference 2019
- Resolution
- unresolved
- no resolver link, observed 2026-08-02T21:56:44.737683Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 343e7b99-b767-4908-aefd-1acdc771ed8e · inbound
To Throw a Stone with Six Birds: On Agents and Agenthood cites this paper.
To Throw a Stone with Six Birds: On Agents and Agenthood The Lean mathematical library
Reference 7
- Resolution
- verified exact
- arxiv_id, observed 2026-05-16T08:20:45.837936Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation e3dfdcdd-bd6e-43d0-b098-097f02866b4f · inbound
Saturating Scaling Laws for Equational Discovery: A Phenomenology of Growth Dynamics in Three Toy Substrates with Two Real-World Replications cites this paper.
Saturating Scaling Laws for Equational Discovery: A Phenomenology of Growth Dynamics in Three Toy Substrates with Two Real-World Replications The Lean mathematical library
Reference 7
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-30T20:15:04.965323Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 81b1489b-586e-4039-9f13-07d38dcb2cc0 · inbound
Formalizing Mathematics at Scale cites this paper.
Formalizing Mathematics at Scale The Lean mathematical library
Reference 43
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-06-29T07:53:14.267208Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation b9897d54-7062-4fd1-bb3e-5f56a5f6b31f · inbound
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts cites this paper.
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts The Lean mathematical library
Reference 8
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T03:36:29.762871Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 0084176b-4e73-41ed-b536-e2f910d5571e · inbound
Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean cites this paper.
Optimizing the Cost-Quality Tradeoff of Agentic Theorem Provers in Lean The Lean mathematical library
Reference 17
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T08:26:48.351454Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4d635300-5955-4cc0-924a-fb1026b110c7 · inbound
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics The Lean mathematical library
Reference 12
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-01T10:05:40.899794Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.
Observation 4e5c22cc-1f17-44e6-a092-37e4c0d89438 · inbound
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics cites this paper.
Beyond the Library: An Agentic Framework for Autoformalizing Research Mathematics The Lean mathematical library
Reference 12
- Resolution
- metadata mismatch
- arxiv_id, observed 2026-07-03T22:39:01.197901Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-09T06:31:02.800959+00:00.