{"as_of":"2026-08-16T21:51:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bdbf5a5e7cbda6662c936d5095dd9005fd304508bd327101e574d280f58cceaa","coverage":[{"denominator":43,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":43,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-06T23:35:04.725315Z","state":"measured"},{"denominator":44,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":44,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-16T06:30:59.297886+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-02T21:25:10.313584Z","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":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2506.17506","snapshot_observed_at":"2026-08-02T21:25:10.313584Z","title":"org/CorpusID:1981391","venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2602.20459","last_updated":"2026-07-02T01:11:49Z","snapshot_observed_at":"2026-08-07T12:16:58.603944Z","submitted_at":"2026-02-24T01:37:53Z","title":"PreScience: A Dataset and Benchmark for Scientific Forecasting","version":2},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-02T21:25:10.313584Z"},"links":{"cited_paper":"/paper/2506.17506","citing_paper":"/paper/2602.20459"},"observation_digest":"sha256:0555dd00f19ad67283f32d81831e02ee3e57ef671e5cc44ec18ea2f2977e509f","observation_id":"eb83633d-0598-4542-a14d-e3baad9dfc3c","resolution":{"observed_at":"2026-08-02T21:25:10.313584Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"links":{"evidence":"/evidence","html":"/paper/2506.17506/citation-record","integrity":"/paper/2506.17506/integrity","json":"/paper/2506.17506/citation-record.json","paper":"/paper/2506.17506"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:34:59.903473Z","title":"online\" 'onlinestring :=","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":1,"source":"arxiv_source","source_observed_at":"2026-08-06T23:34:59.903473Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:e6ef1bcf29de996f669f795d9f98b6c7161f9ce4b38fe848b422c6456f9c393e","observation_id":"2d195da3-49ad-41ee-b7ac-ea0174670b15","resolution":{"observed_at":"2026-08-06T23:34:59.903473Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:00.007824Z","title":"write newline","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":2,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.007824Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:f3b530b97bfdfb1a4eaca3b443c0319a5c2e0a9d64b2b33cc329e337e149a803","observation_id":"a60532a2-95f6-418f-a269-e7772f54ce26","resolution":{"observed_at":"2026-08-06T23:35:00.007824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:00.110495Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":3,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.110495Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:f317faa5f4f8e7aa53183db1a3e02dfa10bd4fefd22285544814a1ed1c72cd05","observation_id":"749550d5-59fb-4660-b10f-d3183b4404a2","resolution":{"observed_at":"2026-08-06T23:35:00.110495Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:08.144187Z","title":null,"venue":null,"work_id":"58c78d16-34b5-4a5f-8101-078229af26cb","year":2022},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":4,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.222301Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:29c0a8d406875334f52a91cff558878c7d9bb948df2fb596091599812bd3d2b2","observation_id":"3c4b505f-52f1-4a29-8c95-27734a6b16dc","resolution":{"observed_at":"2026-08-06T23:35:08.158715Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:08.075840Z","title":null,"venue":null,"work_id":"5856da05-e612-4127-a642-95fe11216c56","year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":5,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.259187Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:236ba86a2ced736718b425b5bc856a24873fbd1233928c0523c1b3066fae5837","observation_id":"c86fc00f-ba55-4c12-8344-b05a63debe96","resolution":{"observed_at":"2026-08-06T23:35:08.083171Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:08.036689Z","title":null,"venue":null,"work_id":"12fb9c3f-8148-45d0-b46a-57e4c9a4f445","year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":6,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.392204Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:ddb697268d3cf79ba6c79a12ca530bd99fcb264575a5fbeb878dcd361076ac6f","observation_id":"7298bf8f-97c4-4e0f-a096-acff98a716a5","resolution":{"observed_at":"2026-08-06T23:35:08.042029Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:08.002236Z","title":null,"venue":null,"work_id":"36b584d5-c661-4d6f-83dd-98a7e3276a41","year":2015},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":7,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.565083Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:f6322d34d2f89e5ce9e29d4025ebb644957a998804aeba226f9b18337a79fb6b","observation_id":"15be3857-72ff-483f-80b9-a819b8a46c25","resolution":{"observed_at":"2026-08-06T23:35:08.011224Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"5568.76557","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:06.494125Z","title":null,"venue":null,"work_id":"ec9d18ce-3114-46a5-b258-c3ad5119bfdf","year":2003},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":8,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.707372Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:d1b0e9b092b6d15a25a7728042524abad76cbcb37b17f8b2a8cccb5b10e0adc1","observation_id":"857c3e7e-6483-46b2-9b44-c9ec25b921f8","resolution":{"observed_at":"2026-08-06T23:35:06.539838Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.975699Z","title":"Chaitin, Marc A","venue":null,"work_id":"8be484f0-645b-4a14-9180-e1135640a553","year":1981},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":9,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.814430Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:7a5c55f7d878dd650a2a65d79bf7545047736ec8b59ef5919ace7ff34b7f4b3b","observation_id":"a3c57fd5-9d37-406c-9b17-fb7b0666b03d","resolution":{"observed_at":"2026-08-06T23:35:07.980356Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.905528Z","title":null,"venue":null,"work_id":"fa55e385-1bef-42de-a06f-7a6a01c7aef7","year":2018},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":10,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:00.959310Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:08019c471f3ea92d737a644df7cb8334661f966c09e448688fff7d0bc2f22940","observation_id":"d3c2ad59-691d-4492-a620-bc51f418d910","resolution":{"observed_at":"2026-08-06T23:35:07.936763Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.858876Z","title":null,"venue":null,"work_id":"0135f4ec-80e3-478e-87aa-8f7db4bd85a4","year":2021},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":11,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.075283Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:f30dbb5863a9707cf028cbdc4fd192add7bd5bb63149463ac2ef6219d40fe469","observation_id":"3f792152-120b-43f2-ae9f-244c0edb0f76","resolution":{"observed_at":"2026-08-06T23:35:07.864803Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.784825Z","title":"Fu, Stefano Ermon, Atri Rudra, and Christopher R\\' e","venue":null,"work_id":"63164c8f-6d7a-4ed1-82c8-ddf402b8943e","year":2022},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":12,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.194894Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:ffedfb01b7ca1fbd8f6b2bd5a76affa50714f794488ed9b48d69a30e60a99eee","observation_id":"9a777b1d-e839-47de-9923-9ac294701907","resolution":{"observed_at":"2026-08-06T23:35:07.804754Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.692301Z","title":null,"venue":null,"work_id":"2404cd61-281e-49e0-b349-5edcc80d7ac3","year":2008},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":13,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.294422Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:b82d3ec47825d5c8fbbe7ec82f6ae90580347c317eae9adc08f884e27b92ac20","observation_id":"beac58c0-cd4c-43f9-aab9-a0e5aabe2702","resolution":{"observed_at":"2026-08-06T23:35:07.724829Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:01.389995Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":14,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.389995Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:492edc9408383368dd602dad2349ff495dea2c4c3b079851c17ebaacc206bcbc","observation_id":"2949cb6c-cb24-4735-ba26-6fcb6997f9dd","resolution":{"observed_at":"2026-08-06T23:35:01.389995Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:01.517356Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":15,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.517356Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:6935c314dd1c7e5cb20532cdbffad60a09517caa7dd1f6e0e86b1023f3d1ac96","observation_id":"e7ee34f5-81c1-460b-b032-46d19afad3b6","resolution":{"observed_at":"2026-08-06T23:35:01.517356Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:01.586058Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":16,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.586058Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:c856d34b4d03544ae6d4f17170afdfab4b9aa726a5a857e47199202e45fcaef9","observation_id":"03ffaedd-2c41-4863-bf81-3cec4e33fe5e","resolution":{"observed_at":"2026-08-06T23:35:01.586058Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:01.743566Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":17,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.743566Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:138237f67fd47b494c5ba9c366b003f66712f6be741859ce30115fb9eb213d62","observation_id":"3c9cc1d0-4342-4afb-afe2-57345162df2f","resolution":{"observed_at":"2026-08-06T23:35:01.743566Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:07.666293Z","title":null,"venue":null,"work_id":"fbf800cb-3fe0-425a-872c-f95b2e25b1a6","year":2012},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":18,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.824842Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:ebbf5230ceb1650f4c353950f476a375bac185e65880d72b8622e5780389d9ef","observation_id":"9af8ad00-6384-4633-a022-316e9176c47d","resolution":{"observed_at":"2026-08-06T23:35:07.670143Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"arxiv_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:06.092925Z","title":null,"venue":null,"work_id":"927eb35a-ec5e-4f6e-a564-cf22303a4855","year":2023},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":19,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:01.895028Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:97712c308fcc1ebbf60a00301ab7909167f86499aaf0d3a4cd0c9191211e4ee2","observation_id":"8f0175a8-82e9-4c23-b769-b05fac53e4ce","resolution":{"observed_at":"2026-08-06T23:35:06.099911Z","resolver_source":"arxiv_id_nonexistent","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.584798Z","title":null,"venue":null,"work_id":"be65ce18-1fda-4671-810c-35220c6a6ac9","year":2004},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":20,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.004931Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:a198b1ff04a8a82a4698fe1c9492436814f2ae0b39dd3df52581e8d3e9c44843","observation_id":"07cc81d6-c109-41f6-b675-3e3a12993cc6","resolution":{"observed_at":"2026-08-06T23:35:07.609157Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:02.154897Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":21,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.154897Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:ea733a219609d0b20a9a2a6229ebec202b1f725a8d1285149ae3b14b7f23f681","observation_id":"3110218b-0031-4f18-9aeb-334e1b4f499f","resolution":{"observed_at":"2026-08-06T23:35:02.154897Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:02.324424Z","title":null,"venue":null,"work_id":null,"year":2007},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":22,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.324424Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:10317e86e4e7f5c42e9e2903cd72cc0c92eda57c231e65a7f0c6ece88a4f6d6c","observation_id":"e75bfe5c-2404-4bf5-9c2d-622c6797c7f0","resolution":{"observed_at":"2026-08-06T23:35:02.324424Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:07.507429Z","title":null,"venue":null,"work_id":"f9213d5d-3cc3-44b7-bbbe-d112f0613e37","year":2023},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":23,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.405381Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:27b6a5afaa0067e46f4e533e6013574d4f232d33e0cdfc052ca66fde45f46e7c","observation_id":"6c9a3811-b486-48b3-b624-657f21b83b09","resolution":{"observed_at":"2026-08-06T23:35:07.529804Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2407.02524","last_updated":"2024-06-27T21:47:48Z","snapshot_observed_at":"2026-08-16T13:38:55.265699Z","submitted_at":"2024-06-27T21:47:48Z","title":"Meta Large Language Model Compiler: Foundation Models of Compiler Optimization","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2407.02524","snapshot_observed_at":"2026-08-06T23:35:02.490773Z","title":null,"venue":null,"work_id":null,"year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":24,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.490773Z"},"links":{"cited_paper":"/paper/2407.02524","citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:4643cc94a83b7395482296c668ffdc7eb37ff6dd40ec7de53e5bca591a31c72b","observation_id":"a646ec32-d113-4426-909b-b527bb3c6c6c","resolution":{"observed_at":"2026-08-06T23:35:02.490773Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:07.345288Z","title":null,"venue":null,"work_id":"1e55b7ae-babf-45c1-900a-5cb8aea6b58d","year":2019},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":25,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.560645Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:9d1c72f46bc5c07b54080b4ccd325368da7ba4c3c245b62a735840732f78ad6e","observation_id":"61ef4df0-3cfa-4e1b-aa94-5f3e530733fc","resolution":{"observed_at":"2026-08-06T23:35:07.395261Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.301006Z","title":null,"venue":null,"work_id":"5866f03c-929e-40f5-9544-1f3fa988d9c1","year":2020},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":26,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.650054Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:299423fdb49f6f9097a915212862780f954b8efa15fa386cda4d999f097dd630","observation_id":"5c5c21b5-6a48-4099-8a1d-c31a58778798","resolution":{"observed_at":"2026-08-06T23:35:07.307187Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.239889Z","title":null,"venue":null,"work_id":"c58cc3dc-d086-4701-a3f5-fc07b101e23b","year":2023},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":27,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.787569Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:9f02ab2ba091482e1400a6c8d033eafa87a158b0b1f18933e51e5bb444a4967b","observation_id":"92ccc820-94c6-44c6-a741-03d09ebfb1f7","resolution":{"observed_at":"2026-08-06T23:35:07.254872Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.128841Z","title":null,"venue":null,"work_id":"111f1aa2-083f-4918-bc9b-0421731fcb22","year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":28,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.905885Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:0498915f7a172b38def4d31320aa3682d90d4d6347ec1e4ea09b3fe7db490d73","observation_id":"36b6d4bd-dda2-4bb3-a2c2-dbb2b6f07f90","resolution":{"observed_at":"2026-08-06T23:35:07.174806Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:07.040270Z","title":null,"venue":null,"work_id":"358e6a76-b489-4bda-a4a4-c63defddb48f","year":2023},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":29,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:02.980439Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:3f89370c9cc2cabe8836bc948b83318504d410f7b93deac8962b813489fc5fac","observation_id":"bffbeb00-2638-4d65-ab73-79c002dfa74c","resolution":{"observed_at":"2026-08-06T23:35:07.068015Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:03.116934Z","title":null,"venue":null,"work_id":null,"year":1999},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":30,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:03.116934Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:efb4cb7c544122bf755675c628296dfc43e3008002f4657d6a6a21d761da2f48","observation_id":"46d3c0ee-e18b-448a-ab02-e6554630118a","resolution":{"observed_at":"2026-08-06T23:35:03.116934Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:03.278218Z","title":null,"venue":null,"work_id":null,"year":2008},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":31,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:03.278218Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:d1f8c4bb49988ad072294a87e852cce6aa0606985c995469df5b06adfd130fed","observation_id":"b6fb8a60-21ff-4f5b-9255-45bbfcfa4fcc","resolution":{"observed_at":"2026-08-06T23:35:03.278218Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:03.441368Z","title":null,"venue":null,"work_id":null,"year":2013},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":32,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:03.441368Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:dbcca12ab30bf7be7d24f5835778fea0c29fdc2c4efdd8d6db48a9fe0265f9f3","observation_id":"f3fb8381-8087-4249-9c09-df10380426fb","resolution":{"observed_at":"2026-08-06T23:35:03.441368Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:03.637111Z","title":null,"venue":null,"work_id":null,"year":2014},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":33,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:03.637111Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:44fc9b34878eb981e1166734936460c611d382937345d4e7b4f44481b86930ff","observation_id":"a9230ffe-d315-4296-80ae-bd08a5883422","resolution":{"observed_at":"2026-08-06T23:35:03.637111Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:03.737323Z","title":null,"venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":34,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:03.737323Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:c6f9ad96803c3f3cd7fd92cac97ee8642a8e8819178a9719a11d2b7cf1e5f3ad","observation_id":"c1c84b81-bb2c-4d3a-870b-885394141680","resolution":{"observed_at":"2026-08-06T23:35:03.737323Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:06.742217Z","title":null,"venue":null,"work_id":"49be6115-1080-427b-9ff6-e719c646af8b","year":2023},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":35,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:03.832051Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:332fdbe22036b960421d60b59972a672356634da31ef2458b3bc76ef05da5a8c","observation_id":"b793ca75-eba5-4706-bba3-65545e9f07e9","resolution":{"observed_at":"2026-08-06T23:35:06.753651Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:04.018083Z","title":null,"venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":36,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.018083Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:d4ed0c5c2127e538d1ca9fc15dc3b8537f0c7e1c8869c6be11290906b1cd18b9","observation_id":"f4cd9137-59b4-41d3-94d0-c0648a82de99","resolution":{"observed_at":"2026-08-06T23:35:04.018083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:04.050871Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":37,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.050871Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:99c254f84b838377bbf044577d27de8996f17645e045936b2fda38c67db74ee0","observation_id":"6e65315f-466d-457d-9da6-d165160f31c3","resolution":{"observed_at":"2026-08-06T23:35:04.050871Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:06.663814Z","title":null,"venue":null,"work_id":"efe3add9-7734-4d89-9347-1438bccf5251","year":2025},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":38,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.187278Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:f565678cc993e2c27b36de54e7942873490a7e8ed69088c389ed5d6d166ae78e","observation_id":"e65d0d3a-19bf-4577-bf44-e2c9ed12441b","resolution":{"observed_at":"2026-08-06T23:35:06.705195Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":"2420.12324","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:05.108803Z","title":null,"venue":null,"work_id":"b103fc37-3e88-4250-bd20-afd3e5174550","year":2007},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":39,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.283246Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:9f3bcc70b5ef3ccd81d61b1ce54e389981098f7a7f951905f0695ea0f04f4762","observation_id":"d0cd287c-5aa2-4c6e-9e03-a61475b51c54","resolution":{"observed_at":"2026-08-06T23:35:05.254748Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":{"arxiv_id":"2412.15115","last_updated":"2025-01-03T02:18:21Z","snapshot_observed_at":"2026-07-06T02:11:23.670680Z","submitted_at":"2024-12-19T17:56:09Z","title":"Qwen2.5 Technical Report","version":2},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2412.15115","snapshot_observed_at":"2026-08-06T23:35:04.417824Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":40,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.417824Z"},"links":{"cited_paper":"/paper/2412.15115","citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:8c537bdaa20eee5f0b7adc963f88188f8d9655907eee16b2fa4eb43f9488c191","observation_id":"6556fe70-bb41-4782-a127-9a164d62ebe6","resolution":{"observed_at":"2026-08-06T23:35:04.417824Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:04.519127Z","title":null,"venue":null,"work_id":null,"year":2025},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":41,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.519127Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:c44ec76bce5083c88e030d1a6544c4acb0c9522f1a78c1bd9201522ea568f7d2","observation_id":"b45c6760-ff31-44ec-8ff0-4606acc995da","resolution":{"observed_at":"2026-08-06T23:35:04.519127Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-06T23:35:06.599759Z","title":"Gonzalez, and Ion Stoica","venue":null,"work_id":"3e8cd18c-8a7d-4678-ae16-d3f4fd2f1248","year":2020},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":42,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.605788Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:664860b061002b7b625ce15704a5e77fa09ac7a35aa4cb819f14adadb4800507","observation_id":"85c3b7bb-3b68-4972-b3fe-80608a005ec0","resolution":{"observed_at":"2026-08-06T23:35:06.625853Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+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-06T23:35:06.557812Z","title":null,"venue":null,"work_id":"bd760e38-2a42-44d7-b116-9098b357f16e","year":2024},"citing_paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM","version":1},"reference_index":43,"source":"arxiv_source","source_observed_at":"2026-08-06T23:35:04.725315Z"},"links":{"citing_paper":"/paper/2506.17506"},"observation_digest":"sha256:c752b796ee12cc9c549241d8abf7d9c1caa48f97bce77fa6628ef9027938db3d","observation_id":"3eaf6e4f-5851-48c5-9729-58574c74175c","resolution":{"observed_at":"2026-08-06T23:35:06.570477Z","resolver_source":"raw_fallback","status":"unresolved"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-16T06:30:59.297886+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2506.17506","last_updated":"2025-06-20T23:08:09Z","latest_version":1,"primary_category":"cs.CL","snapshot_observed_at":"2026-08-15T09:11:24.235453Z","submitted_at":"2025-06-20T23:08:09Z","title":"VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM"},"reference_resolution":{"displayed":43,"state_counts":{"malformed_identifier":0,"metadata_mismatch":2,"parse_uncertain":0,"unresolved":37,"verified_exact":1,"verified_fuzzy":3},"total_outbound_references":43},"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-16T06:30:59.297886+00:00","source":"crossref"},{"observed_at":"2026-08-16T06:30:54.164669+00:00","source":"retraction_watch"}],"thesis":"As of 16 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2506.17506."}