{"as_of":"2026-08-08T04:08:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:bb1e105dfd6388d92f9892055ff6ef0a55bff2fc4952365042625b5a56af1ee4","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-07T06:34:17.273281+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-06T23:28:05.181492Z","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:0c0f22cd6a6a074b939b549d0ba97ec146693000b71aa89ac31d340aab2ee418","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-06T23:28:05.181492Z","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:3e37424f137704a5591b4dacb98184651ba3cf553344dfd2ce7cc1e09e1a78a4","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-06T23:28:05.181492Z","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:b81237643b4a3b20b4a1e657d5b82d2a09d938495e99085e6a9ffa48d14dd1c8","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-06T23:28:05.181492Z","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:f862146dded7beb6f7d02ad8d32411917edc5cc03b57bbb408ba72050021e7f0","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-06T23:28:05.181492Z","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:d86a84e176529a0bf29e9dccc87690549d9cc5caf043cc9411b5b20568a246f8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:bf603ce5f7c5af99324ac5e7d664a3de7ce7bc9f3d003fc337c2b9549a03273c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:8c7c3c49dcca13b3a7ea413fdf4be11d8951d6b244250244c3d8304055259239","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:02b654239ff89ec267bb44edb7c9d2c4b060df4e100a479768ebb55f7d1c634e","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:49ede0d01bbe4335545e63cb6683f79e32112f6414f36488593aabfe3a95c2b9","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:2bec21ad779e6a6dceae70abbd34ef842d17350d2f0b9647b0639a7713226402","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:30678af78571cb1ea5fb9a0e700ebae449e270668bf8ee78d596d7bbceefaf02","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:a23674b9f555796688d931462dc497069716f06aed06ddda1b811e32ea26f70d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:b9d78ed51397f5f03c1f5143030db7198792af0b11f207d58a481a0b640a52a0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:e43f6118a09fa948832350c253c9b09e64967207e129bd3a497b079c46941d77","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:daa2e1cb66f7774f3cc6440f3aae95dc53c68e620ffde40070167077a9b79e6b","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-06T23:28:05.181492Z","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:2ac048fe18cb8c28552722962f51faec9fc52cfc6a64ac0530c3a5c83ef0f8f6","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-06T23:28:05.181492Z","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:67dcee036878bfbed6182e032fe38ee49d43ad8bdf78de5cc69055d98fe24139","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-06T23:28:05.181492Z","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:7cd5731ac85c31d0c8f9b5dedab9f653efb74c2cc68257e4c6f62b99cd73fdb6","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-06T23:28:05.181492Z","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:d9b473f446b22e79ebdeb4a664b52195534d8a94e1e3caa537580920b8d425d4","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:b9219287b3a3af652eb3c92e195b902f794b87928098d3464619384861bfda76","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:b0f01937eeb51edef4b42fcbc0e010df838bb39698f52a9b4879757f1f0037f0","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:44d806267331e2c1d2ca58ac860e67c1a6d79b7140b4d8e09d829ea9451b904b","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-06T23:28:05.181492Z","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:46313986401a43c06d04453bc3dd8bc8eece10768c695b0d4c99722f7dedcf70","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-06T23:28:05.181492Z","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:dd7e8469955e98b0b91d59cfe84467b39dbb6ac0221e3d46c5546b4855ca3b55","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-07T04:21:00.702063Z","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-06T23:28:05.181492Z","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:4eede90ce0397b5f1b0a87971fd805a04c89d0a059422151f77bbca0ddf4d385","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-06T23:28:05.181492Z","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:6ced9333b1e51d133ea15e5bfd2ffb3f0b6fb41b384adffd6bd99554e655fef8","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:9d03d2db5903c9a37758ddc9fd3505683dbaa40a6e5ab511dc02bb8aff6dd77d","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:3b5b0be6f1c2c33bf99e5fe3606ee0aa72f59eaeb7391a79afd9945474781401","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:eec314cc5343b0a7d4f052b73cf14c65974cb750ab081929fcd63b1302d154a5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:9ec037daeaedeb8a02e95d11f630344583dc1ff58f9924a85890aede8443031b","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:f3c696ca22ded4c89e48af3e4d7ce44ffa0cec2d74569cf3fffada8cabfe79c9","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-06T23:28:05.181492Z","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:5cfec3fb297147429dc0c0d69389dbc7bd3f6eaa06063818771cafc993b00781","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-06T23:28:05.181492Z","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:7c80a524fc1a8db4fea82e27f40f8673e1adb207ae6eaf2c0c36b40781da7eca","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-06T23:28:05.181492Z","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:b09fb20959d1b4ca5f4da5fcc11679a1ba01fd7511315c694764aee0e480f7f5","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-06T23:28:05.181492Z","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:cb8a7cea72a0673656e872bc50647efa5d8722e6b4883bd7a0931c82711d202b","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-06T23:28:05.181492Z","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:54de055f7dd69de0360b530a9ae9cdc8e7f7c60eb289b3853804a08b79d1d633","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:4c610fb4816037278dcb01a5a66bfd2561ee4e52236ce4c6e810fda0dc30dc13","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-06T23:28:05.181492Z","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:68fb576a5f49df8d8895f0b2ea795b8622ec91711dde82fdce81cea868775f35","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-06T23:28:05.181492Z","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:74581d4099f65c44bf98fb4c746c6cf879aeb43c0a1c787a28d15f55713dcb7c","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:895b90860d6137f054e2acaa36c037474987217aea875d884ba920b8e18d4a1a","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:a1e622f12abd35549ec2e68bb00e3ecfb5ff6243d3cd1bf6eaffb06029b8a17c","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-06T23:28:05.181492Z","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:0bad0b8a5c217cb6dcf15d40e737a1432cba208a0c0258ae7e342cf4039fe7b9","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-06T23:28:05.181492Z","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:480482f8e144ceb2e15c5fb58fd76975c3211292e401f6936a8ff25c35ca0ac5","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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:69380c78b35699799a58281b368ba957cfa743ad920ed8afaf84feaa1188de17","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-07T06:34:17.273281+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+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-06T23:28:05.181492Z","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-07T06:34:17.273281+00:00","source":"crossref"},{"observed_at":"2026-08-07T06:34:11.927384+00:00","source":"retraction_watch"}],"thesis":"As of 8 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2506.17506."}