Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links
Paper Citation Record · LEDGER
A Semantic Search Engine for Mathlib4
As of 23 August 2026, this Paper Citation Record lists 0 of 0 outbound references and 7 inbound Pith citation observations for arXiv:2403.13310.
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-23T06:30:58.430688+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-16T10:27:51.184050Z
A source-named dated measurement, never combined with another source.
Source: arxiv_reference, observed 2026-07-04T20:10:07.132593Z
Reference resolution
0 of 0 outbound references displayed
- verified exact0
- verified fuzzy0
- unresolved0
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
No outbound reference observations are available for this paper version.
Pith citing papers
Observation 6dcb762e-aeee-40f0-b32a-20daad35d2e3 · inbound
Formal Mathematical Reasoning: A New Frontier in AI cites this paper.
Formal Mathematical Reasoning: A New Frontier in AI A Semantic Search Engine for Mathlib4
Reference 245
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T10:51:30.578375Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 46520622-2e83-4355-817f-9046cb07b92c · inbound
Tutte's theorem as an educational formalization project cites this paper.
Tutte's theorem as an educational formalization project A Semantic Search Engine for Mathlib4
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-16T10:27:51.184050Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 0862758a-086f-455a-91ab-3207748735d6 · 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 A Semantic Search Engine for Mathlib4
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-05T22:28:12.108862Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ff9cdbf0-42f5-4e51-a74a-4e7dd244dca9 · 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 A Semantic Search Engine for Mathlib4
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-04T11:31:37.532574Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bbaee1b6-7594-4171-ab02-2a914b8cbdc5 · inbound
MathAtlas: A Benchmark for Autoformalization in the Wild cites this paper.
MathAtlas: A Benchmark for Autoformalization in the Wild A Semantic Search Engine for Mathlib4
Reference 11
- Resolution
- verified exact
- arxiv_id, observed 2026-05-15T05:09:44.430854Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation 2db665f5-f5db-4ec5-85cb-e0b592f2e91d · inbound
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts cites this paper.
Proof-Refactor: Refactoring Generated Formal Proofs into Modular Artifacts A Semantic Search Engine for Mathlib4
Reference 4
- Resolution
- verified exact
- arxiv_id, observed 2026-07-02T03:36:29.756879Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.
Observation fe131398-7bd9-499d-82a1-c773cfcd88e1 · inbound
TheoremGraph: Bridging Formal and Informal Mathematics cites this paper.
TheoremGraph: Bridging Formal and Informal Mathematics A Semantic Search Engine for Mathlib4
Reference 12
- Resolution
- verified exact
- arxiv_id, observed 2026-07-04T20:10:07.134663Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.