Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-07T15:16:08.704657Z
Paper Citation Record · LEDGER
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
As of 10 August 2026, this Paper Citation Record lists 10 of 10 outbound references and 1 inbound Pith citation observation for arXiv:2505.15873.
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-10T06:31:04.303077+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-08-01T15:14:08.698321Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
10 of 10 outbound references displayed
- verified exact0
- verified fuzzy3
- unresolved6
- parse uncertain0
- malformed identifier1
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation fb0c7c48-957e-458e-9da1-a7a5afc88ade · outbound
This paper cites an unresolved cited work.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:16:09.506042Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 81adea85-2d40-4951-aae4-9843fe8fa944 · outbound
This paper cites an unresolved cited work.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design Unresolved cited work
Reference 11
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:16:08.946639Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 13a18df5-e403-4253-8f60-94f5f5313c98 · outbound
This paper cites mux_1": 14{ 15.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design mux_1": 14{ 15
Reference 12
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:16:08.863710Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation f0990ac5-d548-4d33-a552-4c760e49821e · outbound
This paper cites an unresolved cited work.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:16:09.618024Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation d4c90554-bd7c-4464-9a59-3ddab57fd655 · outbound
This paper cites an unresolved cited work.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:16:09.158475Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation b6bdfb8c-03ca-4e53-84c0-92db3736b5b9 · outbound
This paper cites an unresolved cited work.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design Unresolved cited work
Reference 15
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:16:09.080763Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 6a6c15fc-b0f7-4d30-93d5-f45792cbe7ac · outbound
This paper cites input": [.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design input": [
Reference 16
- Resolution
- malformed identifier
- raw_fallback, observed 2026-08-07T15:16:08.805800Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation 9d336d67-e61e-4a07-ba4a-ad63988e88ca · outbound
This paper cites an unresolved cited work.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design Unresolved cited work
Reference 63
- Resolution
- unresolved
- raw_fallback, observed 2026-08-07T15:16:09.403628Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation e930337e-1b1f-4947-a995-d520f2af6aef · outbound
This paper cites input": [.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design input": [
Reference 64
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:16:09.011224Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Observation bc888e94-111e-4c02-aa2a-6ab672fcd7ff · outbound
This paper cites input": [.
Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design input": [
Reference 74
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-07T15:16:09.305946Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.
Pith citing papers
Observation 2ab44f95-b489-4c65-b1ed-f519c8970ca5 · inbound
A Progressive Approach to Synthesizable RTL Design Generation Using LLMs cites this paper.
A Progressive Approach to Synthesizable RTL Design Generation Using LLMs Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T15:14:08.698321Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.