Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-01T00:20:29.768916Z
Paper Citation Record · LEDGER
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens
As of 21 August 2026, this Paper Citation Record lists 89 of 89 outbound references and 0 inbound Pith citation observations for arXiv:2607.26306.
A citation records a reference. It does not transfer a finding from one paper to another.
Coverage vector
One-hop event checks from named stored sources.
Source: scholarly_work_events, retraction_status_cache, observed 2026-08-21T06:32:19.484+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
89 of 89 outbound references displayed
- verified exact12
- verified fuzzy0
- unresolved76
- parse uncertain0
- malformed identifier0
- metadata mismatch1
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation e4c33423-aa19-4e0c-aa6a-85cc6d9467f2 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 1
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.542206Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation e5d9a739-2831-4f34-a39d-3ce68582907d · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 2
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:38.337327Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 7077a5be-0e84-4fc2-81bb-6a8e2bea29b6 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 3
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.548495Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cb55c29d-1741-4283-907f-bd3206162e1f · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 4
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.551481Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 12814053-3928-4e5f-ba48-fe6ebe632089 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 5
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.554156Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 65249da1-ec70-4220-8e0d-4807a8fed41d · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 6
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.556964Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 51c1773a-0280-4a97-be93-b12a956208f1 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 7
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.559660Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 54101a59-e008-4ef2-a38b-249b6d59b72f · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.561971Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8f1f6de7-4dc9-4757-a9ec-68b05fdac979 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 9
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.564235Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 96f32e7c-e764-4061-a045-dad2a9152f9a · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 10
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.566643Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 63088c29-107a-4895-b5bc-67f5618eb5d4 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 11
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.569093Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c56da1d-2938-42c1-a1a4-e53b2bc3f7e0 · outbound
This paper cites Ghale, David J.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Ghale, David J
Reference 12
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:38.175148Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2cbd1350-99fb-46b2-9823-830501db5463 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 13
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.573889Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 84dad85d-86ea-4100-a643-cec8e3effcc7 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 14
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.576197Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1b893f2e-91d3-41f8-b1da-398a2b200099 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 15
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:37.934350Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5576197a-bf81-4dc6-9741-bed9f26921cc · outbound
This paper cites Certified Program Synthesis with a Multi-Modal Verifier.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Certified Program Synthesis with a Multi-Modal Verifier
Reference 16
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.580643Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3d329128-1e80-4a8d-93e7-60c27752f3cf · outbound
This paper cites Rabe, Talia Ringer, and Yuriy Brun.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Rabe, Talia Ringer, and Yuriy Brun
Reference 17
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.583348Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 97e962f0-0b5d-4649-ba75-0db041ef1bb9 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 18
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.585692Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1f5e6676-f18d-46f2-a844-00cb37682532 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 19
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.590858Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation af8e17fe-3d61-4282-a660-693e3e6d115e · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 20
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:37.761567Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 3c914f69-6e94-4948-b25e-f2030bd9e8ad · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 21
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:37.642361Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation ca83e7aa-04cb-46f6-a393-4f61e273fe23 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 22
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:37.445781Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 8e3634f7-30b0-4af5-896f-a1d5353b7f04 · outbound
This paper cites Pollard, Nadesh Ramanathan, and John Wickerson.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Pollard, Nadesh Ramanathan, and John Wickerson
Reference 24
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.602746Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2dbb35d2-4566-438e-a453-987a2ff1f8d9 · outbound
This paper cites Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, and Grigore Rosu.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Moore, Daejun Park, Yi Zhang, Andrei Stefanescu, and Grigore Rosu
Reference 25
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.605050Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6cf2041d-24fe-4f19-a73f-b084a7c8c0b4 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 26
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.607331Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation d8e44367-da29-4b0d-932c-01cb78e138d4 · outbound
This paper cites Childers, and Mary Lou Soffa.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Childers, and Mary Lou Soffa
Reference 27
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.609640Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 668744f9-4e99-49f4-81e7-67cb2eb99a78 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 28
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.611916Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7683b0f4-6250-4e49-942f-1c09065a972c · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 29
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.614200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 6b7353fb-1eba-40da-bd82-5eec30e17a94 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 30
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.616513Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9794ecc2-a0f2-4fa6-be7b-6d2d8874d12c · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 31
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.618888Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 54dfa344-5dff-4b76-b979-90a55c2756bd · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 32
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.621403Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3be2adbb-92b8-4767-bbed-5055fe9f3740 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 33
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.623605Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation c2e4c271-ea09-4285-9751-902ef30a8bb1 · outbound
This paper cites Myreen, Michael Norrish, and Scott Owens.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Myreen, Michael Norrish, and Scott Owens
Reference 34
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.626205Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9371aa71-0db5-4867-ab67-5f121c2ff16b · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 35
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:37.161789Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5b004a2f-4b2e-4a61-a80a-f373f2454edd · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 36
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.630803Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a8a14d46-59b1-445d-8c39-a3373477812d · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 37
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.633095Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 40f14119-6fe3-4aae-bea2-8da44e349b2e · outbound
This paper cites Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Lopes, Juneyoung Lee, Chung-Kil Hur, Zhengyang Liu, and John Regehr
Reference 38
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.635299Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 982874f9-b7b9-455e-b316-03eab4ab21fb · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 39
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.637830Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation f1e731b0-4c2c-4404-a6d6-650434ed08f4 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 40
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.640197Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fbaf4388-77a7-40e7-8f38-d5fca55d3ad7 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 41
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.642472Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03b88fdc-c6ee-4d2c-99a0-a0e55b204bd0 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 42
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.644858Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b19f5c2a-25ea-4a59-8b09-4c1b7faf4bd6 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 43
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.647153Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 482ddb7f-a3f9-43c2-bcd5-be5ad125ed40 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 44
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.649387Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2f69a069-403b-4f68-bfe9-fa118da108db · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 45
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.651557Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b2911778-d598-48cd-b1c3-41d66de62b9e · outbound
This paper cites Weyhrauch.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Weyhrauch
Reference 46
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.653941Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 557c49ee-690f-407f-9c7e-62fe36c40abf · outbound
This paper cites Myreen, Michael J.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Myreen, Michael J
Reference 47
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.656159Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 1c75d61b-c4a8-4feb-8dbc-eafa21e1e668 · outbound
This paper cites Myreen, Konrad Slind, and Michael J.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Myreen, Konrad Slind, and Michael J
Reference 48
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.658819Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation da519353-a587-4655-bc7a-f6e081af718f · outbound
This paper cites Myreen, Konrad Slind, and Michael J.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Myreen, Konrad Slind, and Michael J
Reference 49
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.661551Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 31d5355d-3d12-4874-88ea-741be21f86a8 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 50
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.664816Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fb65869c-863b-4feb-80ad-4a5e7d4e804d · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 51
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.667510Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 245e5853-0645-4cae-9943-138b88163d1c · outbound
This paper cites Necula and Peter Lee.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Necula and Peter Lee
Reference 52
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.669978Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 73401bcb-5502-498f-b7f2-0696db647063 · outbound
This paper cites Necula and Peter Lee.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Necula and Peter Lee
Reference 53
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.672815Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ec95a4bf-0586-4c11-965c-332b1b99b910 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 54
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.675513Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7f188c18-b956-48cb-91e3-c62ca85d54ad · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 55
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.677767Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 597255bd-8090-414e-a62d-605b3df6c45f · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 56
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.680261Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation bd8cbede-f6c2-4fd9-841d-030aa5e8fc81 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 57
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.682523Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a59f7605-5b3d-41e3-8a9d-211f1c323d4b · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 58
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.685046Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 03be5a90-f313-47a3-900e-e003239be4ae · outbound
This paper cites Li, and Andrew W.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Li, and Andrew W
Reference 59
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.687405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation df6ca0b5-d0c9-4fdb-b196-48d77aa80803 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 60
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:37.016285Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation fdbb7c9e-5055-480c-a39c-64213e218674 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 61
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.692191Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 72af468c-6899-45e1-8d37-2a5c1c900f80 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 62
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:36.915955Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation d8ae1cf4-0fb0-42ae-9a72-514d3956b721 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 63
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.697150Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 83f3fd81-4134-4be1-8d5f-939e5f8e24c5 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 64
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.699623Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a38cfa7e-4455-453c-be32-9259cbc9371f · outbound
This paper cites Perconti and Amal Ahmed.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Perconti and Amal Ahmed
Reference 65
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:36.791229Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 22c68447-7bb2-4816-8bdb-97e44dbd632a · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 66
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.704883Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fd7d299-e454-4f7c-bba8-cc8cef5ed228 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 67
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.707611Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 3f429868-e402-4616-9288-9effa19da726 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 68
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.710542Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation ddd5faa4-7845-41d9-bc3b-86770a576a10 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 69
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.712973Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8897f8a1-fc25-4dd7-8445-79352870163f · outbound
This paper cites Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Testing, Credible Compilation, and Verification in the Axon Verified Compiler in Lean and Claude Code
Reference 70
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.715201Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 2fd36a2d-9fc2-4836-aeda-5adaef9586e1 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 71
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.717928Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 8ea45194-e5a5-4387-b024-81e3ae6c52ec · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 72
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.720426Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 9bb57635-d20c-4696-8c0f-05a56fbd2d8c · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 73
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:36.639207Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 2624bd0f-c09c-421c-b3c4-4d1df0e940cc · outbound
This paper cites Myreen, and Gerwin Klein.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Myreen, and Gerwin Klein
Reference 74
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.726200Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 163950e2-3b1e-4433-b202-e5998f24fa32 · outbound
This paper cites Foundational Verification of Smart Contracts through Verified Compilation.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Foundational Verification of Smart Contracts through Verified Compilation
Reference 75
- Resolution
- metadata mismatch
- local_arxiv, observed 2026-08-01T00:21:36.413238Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation c09e1260-fc54-42d0-80b3-335aad910c34 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 76
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.732405Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 29f18830-fc0a-4a56-a374-d27eb708c59f · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 77
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.735503Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 7a39ba29-7df4-4606-a3b3-79d54444021d · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 78
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.738013Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 94d35bc6-c895-45a9-bdb3-7c99847b0399 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 79
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.740936Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation a583f094-0bba-49e3-8803-63b8815fa81b · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 80
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.743765Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation cc80c35c-7075-4c9f-9773-a62106564ce7 · outbound
This paper cites Ferreira, Sorin Lerner, and Emily First.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Ferreira, Sorin Lerner, and Emily First
Reference 81
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.746794Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5bca7bd7-cbde-460f-a0de-fe6e96775332 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 82
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.749954Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b7a2c856-f159-435d-ba87-cec99d81f79e · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 83
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.752655Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5345b2da-ad03-4d88-bd08-2364f3729d4c · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 84
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.755279Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5ee48bb4-9d02-45f7-bf34-f0203012c520 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 85
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.757715Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 259947da-1d2c-4c90-af29-86bce868a55c · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 86
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.760253Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation b6f443a0-def0-4bf0-bc64-e233dad6b18e · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 87
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.762878Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation fd80b5e1-a169-43f2-9790-cb2f6c1ad5fb · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 88
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.765937Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 5f4e77b5-2cf6-4040-ab7f-af75dbab1c5a · outbound
This paper cites why did you stop? The goal was to finish the whole proof.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens why did you stop? The goal was to finish the whole proof
Reference 89
- Resolution
- verified exact
- doi, observed 2026-08-01T00:21:36.143958Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.
Observation 5b332711-3a62-485d-bd54-045e03200646 · outbound
This paper cites an unresolved cited work.
Foundational Refinement Proofs for Deployed Bytecode, at the Price of Tokens Unresolved cited work
Reference 2004
- Resolution
- unresolved
- no resolver link, observed 2026-08-01T00:20:29.588324Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Pith citing papers
No inbound Pith citation observations are available.