Paper Citation Record · LEDGER

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs

As of 23 August 2026, this Paper Citation Record lists 31 of 31 outbound references and 1 inbound Pith citation observation for arXiv:2607.17005.

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

pith.paper-citation-record.v1
2607.17005 v1

Coverage vector

measured 31 of 31 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T19:31:54.212171Z

measured 32 of 32 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-23T06:30:58.430688+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-07-30T16:20:11.626377Z

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

31 of 31 outbound references displayed

verified exact12
verified fuzzy0
unresolved17
parse uncertain0
malformed identifier2
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 9300d712-ad1d-4bb4-9507-7ee574074e84 · outbound

This paper cites Alpert, Wing-Kai Chow, Kwangsoo Han, Andrew B.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Alpert, Wing-Kai Chow, Kwangsoo Han, Andrew B

Reference 1

Resolution: verified exact; doi, observed 2026-08-01T19:33:28.412277Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation dd23d261-7bef-4b91-aeda-1cd5e2104725 · outbound

This paper cites Alpert, T.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Alpert, T

Reference 2

Resolution: verified exact; doi, observed 2026-08-01T19:33:28.278924Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 20f5dc27-4aba-4e15-aecf-e363c1c8c151 · outbound

This paper cites Carvalho and Amadeu A.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Carvalho and Amadeu A

Reference 3

Resolution: verified exact; doi, observed 2026-08-01T19:33:28.047098Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 0b329a5a-0263-445a-acdd-74aa39d98cc2 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:51.282843Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e2b968cb-b8a8-4f7e-8604-438ae0847aa0 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 5

Resolution: verified exact; doi, observed 2026-08-01T19:33:27.784562Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation eca06092-441e-437f-95f0-e2bb03b11891 · outbound

This paper cites Kahng, Gabriel Robins, Majid Sarrafzadeh, and C.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Kahng, Gabriel Robins, Majid Sarrafzadeh, and C

Reference 6

Resolution: verified exact; doi, observed 2026-08-01T19:33:27.556972Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation ec32cbaf-8a7b-4071-89a1-50b8f33fe808 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 7

Resolution: verified exact; doi, observed 2026-08-01T19:33:27.361722Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation a760cf9b-d2a1-4608-aa87-5f6d114339a3 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:52.038707Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cce9d300-1673-455c-b68d-c2db20248dca · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 9

Resolution: malformed identifier; no resolver link, observed 2026-08-01T19:31:52.193976Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b917c4e9-5476-4ac3-b965-a6890a2dbefe · outbound

This paper cites Garey and David S.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Garey and David S

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:52.282952Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6871a7be-6417-4233-ae9a-c0ed829227c5 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:52.372478Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 4c266ed7-f855-477c-8da5-16095af5c7bf · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:52.457765Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0390739e-a366-4402-a6a8-aad2778cef5e · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:52.591364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5362316d-3529-41b3-a7fb-042ee90a4ab8 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:52.732441Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f35da3a3-f011-4cb0-b1fc-ee6e0081e41e · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 15

Resolution: verified exact; doi, observed 2026-08-01T19:33:27.108975Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 30583b7c-3e9c-4882-b565-e5d76f40ad37 · outbound

This paper cites Kahng, Shreyas Thumathy, and Mingyu Woo.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Kahng, Shreyas Thumathy, and Mingyu Woo

Reference 16

Resolution: malformed identifier; no resolver link, observed 2026-08-01T19:31:52.957163Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6184c40f-78cf-48db-86dc-516e15af7dbf · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 17

Resolution: verified exact; doi, observed 2026-08-01T19:33:26.838885Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 426238bc-12cc-4f1a-a652-5fb465e1add9 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.154424Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f84a8916-9d37-4855-9691-88abbbb0a003 · outbound

This paper cites Tóth, and Tianyi Zhang.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Tóth, and Tianyi Zhang

Reference 19

Resolution: verified exact; doi, observed 2026-08-01T19:33:26.483656Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 494fcc64-8751-48e7-a879-0919665fa407 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 20

Resolution: verified exact; doi, observed 2026-08-01T19:33:26.280457Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 7d3e8945-4cd0-4419-9863-4be4ae5e7a61 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 21

Resolution: verified exact; doi, observed 2026-08-01T19:33:25.936371Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 1d74d00a-2394-4963-b24d-bd62566c18d6 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.497188Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b1413b81-9eba-43e7-9878-df65af20c24a · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.582690Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c79c8fcb-fff2-49dd-b1fd-6c25ddfe5307 · outbound

This paper cites Salama, Douglas S.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Salama, Douglas S

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.647434Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7b676d2d-7eeb-424f-bb9f-be6568ba8999 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 25

Resolution: verified exact; doi, observed 2026-08-01T19:33:25.644172Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-23T06:30:58.430688+00:00.

Observation 47c4bca9-e717-4319-abc2-7f546c7a155a · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.848012Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c90a1538-8087-4d71-9988-ad50a5615d94 · outbound

This paper cites From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs From Solvers to Research: Large Language Model-Driven Formal Mathematics at the Research Frontier

Reference 27

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.915839Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 644e9f33-f12c-417c-9988-1c8e0f7bafc3 · outbound

This paper cites Trinh, Yuhuai Wu, Quoc V.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Trinh, Yuhuai Wu, Quoc V

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:53.976002Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fa8f3fa3-2ca0-425f-a5e0-9b22f8581fcf · outbound

This paper cites Prenger, and Animashree Anandkumar.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Prenger, and Animashree Anandkumar

Reference 29

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:54.045110Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cf1a7944-6b10-41fa-ab03-95dd0e554569 · outbound

This paper cites an unresolved cited work.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Unresolved cited work

Reference 30

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:54.143829Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 239727db-8cfc-4568-b7e1-93289f6a10d7 · outbound

This paper cites Construction only.

Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs Construction only

Reference 31

Resolution: unresolved; no resolver link, observed 2026-08-01T19:31:54.212171Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 5c936114-c9f1-457f-91ab-a0d842ebc4b9 · inbound

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis cites this paper.

Rethinking Logic Optimization Operators: Theory-Derived Operator Compression via Agentic Source Analysis Provably Good Prim-Dijkstra Revisited: New Theory and a Practical Algorithm for a Classical VLSI Routing Problem with LLMs

Reference 30

Resolution: unresolved; no resolver link, observed 2026-07-30T16:20:11.626377Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.