Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-05-10T16:47:17.824830Z
Paper Citation Record · LEDGER
Intent-aligned Formal Specification Synthesis via Traceable Refinement
As of 4 August 2026, this Paper Citation Record lists 11 of 11 outbound references and 0 inbound Pith citation observations for arXiv:2604.10392.
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-04T06:34:03.388597+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
11 of 11 outbound references displayed
- verified exact0
- verified fuzzy1
- unresolved9
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation 15f42ef4-9f2e-4391-aa02-27b57f1e9826 · outbound
This paper cites The Lean Language Reference.
Intent-aligned Formal Specification Synthesis via Traceable Refinement The Lean Language Reference
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-05-17T13:39:40.440885Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation d02a939a-47d4-4538-8721-a425ff8acfab · outbound
This paper cites Lean-STaR: Learning to Interleave Thinking and Proving.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Lean-STaR: Learning to Interleave Thinking and Proving
Reference 2
- Resolution
- malformed identifier
- arxiv_id, observed 2026-05-11T08:11:03.206965Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3bcfdf15-5c4c-478e-a9cc-97d213a5ecec · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.434952Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 6ce7e05c-e649-4d39-8cde-be9b5ed70c23 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 4
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.443703Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 7437bd09-63ab-4d52-a10b-0b9fa6403df2 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.446909Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 2e0f133a-5432-421d-994d-0620cc365a31 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.449902Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 9eba2c13-80a6-40d0-8e14-63fe87d861d6 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 7
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.438162Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 3bc37bb5-9910-4696-af79-1192df535331 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 8
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.453294Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation acac638c-58ab-41e7-a259-c2d6a046adc5 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 9
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.456328Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation f8890ede-46ee-47ef-8f76-0ca3891f4b00 · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.459073Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Observation 729cdcca-bb6b-4a92-b78e-35c3ecacc3be · outbound
This paper cites an unresolved cited work.
Intent-aligned Formal Specification Synthesis via Traceable Refinement Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-05-17T13:39:40.462276Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-04T06:34:03.388597+00:00.
Pith citing papers
No inbound Pith citation observations are available.