Paper Citation Record · LEDGER

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM

As of 7 August 2026, this Paper Citation Record lists 43 of 43 outbound references and 1 inbound Pith citation observation for arXiv:2506.17506.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2506.17506 v1

Coverage vector

measured 43 of 43 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T23:35:04.725315Z

measured 44 of 44 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-07T06:34:17.273281+00:00

measured 1 of 1 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-02T21:25:10.313584Z

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

43 of 43 outbound references displayed

verified exact1
verified fuzzy3
unresolved37
parse uncertain0
malformed identifier0
metadata mismatch2

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 2d195da3-49ad-41ee-b7ac-ea0174670b15 · outbound

This paper cites online" 'onlinestring :=.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM online" 'onlinestring :=

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-06T23:34:59.903473Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a60532a2-95f6-418f-a269-e7772f54ce26 · outbound

This paper cites write newline.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM write newline

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:00.007824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 749550d5-59fb-4660-b10f-d3183b4404a2 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:00.110495Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c4b505f-52f1-4a29-8c95-27734a6b16dc · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:08.158715Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation c86fc00f-ba55-4c12-8344-b05a63debe96 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 5

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:08.083171Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 7298bf8f-97c4-4e0f-a096-acff98a716a5 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 6

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:08.042029Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 15be3857-72ff-483f-80b9-a819b8a46c25 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:08.011224Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 857c3e7e-6483-46b2-9b44-c9ec25b921f8 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 8

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T23:35:06.539838Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a3c57fd5-9d37-406c-9b17-fb7b0666b03d · outbound

This paper cites Chaitin, Marc A.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Chaitin, Marc A

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:35:07.980356Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d3c2ad59-691d-4492-a620-bc51f418d910 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 10

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.936763Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3f792152-120b-43f2-ae9f-244c0edb0f76 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.864803Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 9a777b1d-e839-47de-9923-9ac294701907 · outbound

This paper cites Fu, Stefano Ermon, Atri Rudra, and Christopher R\' e.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Fu, Stefano Ermon, Atri Rudra, and Christopher R\' e

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:35:07.804754Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation beac58c0-cd4c-43f9-aab9-a0e5aabe2702 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 13

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.724829Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 2949cb6c-cb24-4735-ba26-6fcb6997f9dd · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:01.389995Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e7ee34f5-81c1-460b-b032-46d19afad3b6 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:01.517356Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 03ffaedd-2c41-4863-bf81-3cec4e33fe5e · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:01.586058Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3c9cc1d0-4342-4afb-afe2-57345162df2f · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:01.743566Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9af8ad00-6384-4633-a022-316e9176c47d · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 18

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.670143Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 8f0175a8-82e9-4c23-b769-b05fac53e4ce · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 19

Resolution: verified exact; arxiv_id_nonexistent, observed 2026-08-06T23:35:06.099911Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 07cc81d6-c109-41f6-b675-3e3a12993cc6 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 20

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.609157Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3110218b-0031-4f18-9aeb-334e1b4f499f · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:02.154897Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e75bfe5c-2404-4bf5-9c2d-622c6797c7f0 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:02.324424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6c9a3811-b486-48b3-b624-657f21b83b09 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 23

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.529804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation a646ec32-d113-4426-909b-b527bb3c6c6c · outbound

This paper cites Meta Large Language Model Compiler: Foundation Models of Compiler Optimization.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Meta Large Language Model Compiler: Foundation Models of Compiler Optimization

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:02.490773Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 61ef4df0-3cfa-4e1b-aa94-5f3e530733fc · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 25

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.395261Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 5c5c21b5-6a48-4099-8a1d-c31a58778798 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 26

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.307187Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 92ccc820-94c6-44c6-a741-03d09ebfb1f7 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 27

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.254872Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 36b6d4bd-dda2-4bb3-a2c2-dbb2b6f07f90 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 28

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.174806Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation bffbeb00-2638-4d65-ab73-79c002dfa74c · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:07.068015Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 46d3c0ee-e18b-448a-ab02-e6554630118a · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:03.116934Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b6fb8a60-21ff-4f5b-9255-45bbfcfa4fcc · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:03.278218Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f3fb8381-8087-4249-9c09-df10380426fb · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 32

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:03.441368Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a9230ffe-d315-4296-80ae-bd08a5883422 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 33

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:03.637111Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c1c84b81-bb2c-4d3a-870b-885394141680 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 34

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:03.737323Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b793ca75-eba5-4706-bba3-65545e9f07e9 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 35

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:06.753651Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation f4cd9137-59b4-41d3-94d0-c0648a82de99 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 36

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:04.018083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6e65315f-466d-457d-9da6-d165160f31c3 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 37

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:04.050871Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e65d0d3a-19bf-4577-bf44-e2c9ed12441b · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 38

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:06.705195Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation d0cd287c-5aa2-4c6e-9e03-a61475b51c54 · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 39

Resolution: metadata mismatch; raw_fallback, observed 2026-08-06T23:35:05.254748Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 6556fe70-bb41-4782-a127-9a164d62ebe6 · outbound

This paper cites Qwen2.5 Technical Report.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Qwen2.5 Technical Report

Reference 40

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:04.417824Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b45c6760-ff31-44ec-8ff0-4606acc995da · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 41

Resolution: unresolved; no resolver link, observed 2026-08-06T23:35:04.519127Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 85c3b7bb-3b68-4972-b3fe-80608a005ec0 · outbound

This paper cites Gonzalez, and Ion Stoica.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Gonzalez, and Ion Stoica

Reference 42

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T23:35:06.625853Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Observation 3eaf6e4f-5851-48c5-9729-58574c74175c · outbound

This paper cites an unresolved cited work.

VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM Unresolved cited work

Reference 43

Resolution: unresolved; raw_fallback, observed 2026-08-06T23:35:06.570477Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-07T06:34:17.273281+00:00.

Pith citing papers

Observation eb83633d-0598-4542-a14d-e3baad9dfc3c · inbound

PreScience: A Dataset and Benchmark for Scientific Forecasting cites this paper.

PreScience: A Dataset and Benchmark for Scientific Forecasting VeriLocc: End-to-End Cross-Architecture Register Allocation via LLM

Reference 2002

Resolution: unresolved; no resolver link, observed 2026-08-02T21:25:10.313584Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.