{"as_of":"2026-08-10T23:27:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:e50fed08e975590ec1a7dbbcb64e8be3c5e88d8c5ffaeda934d09f04c5b11f09","coverage":[{"denominator":10,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":10,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-07T15:16:08.704657Z","state":"measured"},{"denominator":11,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":11,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-10T06:31:04.303077+00:00","state":"measured"},{"denominator":1,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":1,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T15:14:08.698321Z","state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[{"citation":{"cited_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2505.15873","snapshot_observed_at":"2026-08-01T15:14:08.698321Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2607.18519","last_updated":"2026-07-20T21:20:08Z","snapshot_observed_at":"2026-08-09T19:59:32.270185Z","submitted_at":"2026-07-20T21:20:08Z","title":"A Progressive Approach to Synthesizable RTL Design Generation Using LLMs","version":1},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-01T15:14:08.698321Z"},"links":{"cited_paper":"/paper/2505.15873","citing_paper":"/paper/2607.18519"},"observation_digest":"sha256:062005e102a9714f1498dc3f749f2cea73e4b3f9df5c921fbe8dbaab38bc1bbc","observation_id":"2ab44f95-b489-4c65-b1ed-f519c8970ca5","resolution":{"observed_at":"2026-08-01T15:14:08.698321Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2505.15873/citation-record","integrity":"/paper/2505.15873/integrity","json":"/paper/2505.15873/citation-record.json","paper":"/paper/2505.15873"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:09.468262Z","title":null,"venue":null,"work_id":"087c3ca2-adb5-467f-8ae2-5acdbb1c7232","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":10,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.398744Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:b7ffc4fd5de7e608d6eeab2fd0a9080979c200bea2fbb927ba174fd314a77684","observation_id":"fb0c7c48-957e-458e-9da1-a7a5afc88ade","resolution":{"observed_at":"2026-08-07T15:16:09.506042Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:08.912954Z","title":null,"venue":null,"work_id":"8dc7ed3b-b7ca-4eba-941b-557ba1be6f69","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.430441Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:ebc1c86934f9a667aad676e06ba87b2f12666615136f4e37d27ae26894197c23","observation_id":"81adea85-2d40-4951-aae4-9843fe8fa944","resolution":{"observed_at":"2026-08-07T15:16:08.946639Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:08.824487Z","title":"mux_1\": 14{ 15","venue":null,"work_id":"ce73a9c3-cffd-4a90-9015-cef9f3236027","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.444382Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:b0835845d10f49fdc923d9727679a64b6209ad0b45dac099b627041dce6548a8","observation_id":"13a18df5-e403-4253-8f60-94f5f5313c98","resolution":{"observed_at":"2026-08-07T15:16:08.863710Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:09.557019Z","title":null,"venue":null,"work_id":"7e80bc64-b4c1-4f55-8156-402f5b794014","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.515308Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:95c40b6948ce312a15486e9c470b97feed85170475920e3c5c232a5b9de31ae1","observation_id":"f0990ac5-d548-4d33-a552-4c760e49821e","resolution":{"observed_at":"2026-08-07T15:16:09.618024Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:09.118823Z","title":null,"venue":null,"work_id":"d3687aa0-7abc-42f6-ae0e-04f76e077252","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.583777Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:417bbedec783047fb625eb081e91ef37282f7912ab9bde5d160de8d389c8ebb9","observation_id":"d4c90554-bd7c-4464-9a59-3ddab57fd655","resolution":{"observed_at":"2026-08-07T15:16:09.158475Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:09.046990Z","title":null,"venue":null,"work_id":"19306091-2577-4c6f-910b-45367e14089f","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.644168Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:ed9bf600bc874405ac80984b5d5d940791622d5d1786bf17e1d5e1d73e8b8f06","observation_id":"b6bdfb8c-03ca-4e53-84c0-92db3736b5b9","resolution":{"observed_at":"2026-08-07T15:16:09.080763Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:08.765056Z","title":"input\": [","venue":null,"work_id":"eddd769d-9d63-43ea-b763-a2b423f22c3d","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.704657Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:9929dd1c0a9cae6d67640e12b22ae1856196169349d4cfdd60d0fed0ea6b68aa","observation_id":"6a6c15fc-b0f7-4d30-93d5-f45792cbe7ac","resolution":{"observed_at":"2026-08-07T15:16:08.805800Z","resolver_source":"raw_fallback","status":"malformed_identifier"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:09.359116Z","title":null,"venue":null,"work_id":"778d77c5-2541-48e0-ad69-9ac883a8d0a3","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":63,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:07.969037Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:173e785569df6da4d1a55c452f6c352be32e5df0f502cc3d119db57842e0ee5c","observation_id":"9d336d67-e61e-4a07-ba4a-ad63988e88ca","resolution":{"observed_at":"2026-08-07T15:16:09.403628Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:08.982726Z","title":"input\": [","venue":null,"work_id":"f5f48710-6d15-44b7-a2e3-31552c34c027","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":64,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.262308Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:fe121aea3a23a6eddd38816523b225c6fdc7993814d4b078cc20a966579ee35c","observation_id":"e930337e-1b1f-4947-a995-d520f2af6aef","resolution":{"observed_at":"2026-08-07T15:16:09.011224Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-07T15:16:09.244893Z","title":"input\": [","venue":null,"work_id":"8c612ac2-94e1-4513-b9a7-545921ecd4dd","year":null},"citing_paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design","version":2},"reference_index":74,"source":"pdf_text","source_observed_at":"2026-08-07T15:16:08.033557Z"},"links":{"citing_paper":"/paper/2505.15873"},"observation_digest":"sha256:bbcf287d9abb2c354d2663fdb1ea1dcb7c4017a2db9ae523d98da401d25595c2","observation_id":"bc888e94-111e-4c02-aa2a-6ab672fcd7ff","resolution":{"observed_at":"2026-08-07T15:16:09.305946Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-10T06:31:04.303077+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2505.15873","last_updated":"2025-05-26T15:41:42Z","latest_version":2,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-07T21:48:10.180287Z","submitted_at":"2025-05-21T15:34:00Z","title":"Abstractions-of-Thought: Intermediate Representations for LLM Reasoning in Hardware Design"},"reference_resolution":{"displayed":10,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":6,"verified_exact":0,"verified_fuzzy":3},"total_outbound_references":10},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-10T06:31:04.303077+00:00","source":"crossref"},{"observed_at":"2026-08-10T06:30:57.382061+00:00","source":"retraction_watch"}],"thesis":"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."}