Paper Citation Record · LEDGER

A Verifier Hierarchy

As of 12 August 2026, this Paper Citation Record lists 33 of 33 outbound references and 0 inbound Pith citation observations for arXiv:2507.23504.

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

pith.paper-citation-record.v1
2507.23504 v1

Coverage vector

measured 33 of 33 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-06T10:50:26.013191Z

measured 33 of 33 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-12T06:34:41.77262+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

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

Source: cited_works

Reference resolution

33 of 33 outbound references displayed

verified exact0
verified fuzzy19
unresolved14
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation de946783-1c36-4b01-9c3a-7dbb82760898 · outbound

This paper cites Hartmanis, R.

A Verifier Hierarchy Hartmanis, R

Reference 1

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.267634Z

Source-reported events for the cited work

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

Observation 5db5a8d7-3446-4976-9158-978a5407ff9f · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 2

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.260685Z

Source-reported events for the cited work

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

Observation e44f8f91-b17f-44db-9de6-2ec97466c7db · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 3

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.253377Z

Source-reported events for the cited work

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

Observation 94bf10a0-54a0-48a2-8974-28c3ee028a2f · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 4

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.246816Z

Source-reported events for the cited work

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

Observation 24da9e48-e9c7-43d4-af18-175d36db18ca · outbound

This paper cites Fortnow, Time–space tradeoffs for satisfiability, Journal of Computer and System Sciences 60 (2) (2000) 337–353.

A Verifier Hierarchy Fortnow, Time–space tradeoffs for satisfiability, Journal of Computer and System Sciences 60 (2) (2000) 337–353

Reference 5

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.239768Z

Source-reported events for the cited work

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

Observation 256a9159-e546-4941-9558-d702379ca40d · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-06T10:50:25.954582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation f8df3973-b457-4f68-9b2c-54537b4c6d2c · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 7

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.228597Z

Source-reported events for the cited work

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

Observation 28249fbf-876e-4f3a-bbf6-3ca29c2e1fb4 · outbound

This paper cites Goldwasser, S.

A Verifier Hierarchy Goldwasser, S

Reference 8

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.222269Z

Source-reported events for the cited work

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

Observation 0e53450c-7fbf-4c81-8e40-3a78bb9373af · outbound

This paper cites Arora, C.

A Verifier Hierarchy Arora, C

Reference 9

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.215990Z

Source-reported events for the cited work

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

Observation b9c9ff23-0b21-4d9b-aa13-fc25fb01c885 · outbound

This paper cites Atserias, M.

A Verifier Hierarchy Atserias, M

Reference 10

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.209413Z

Source-reported events for the cited work

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

Observation 6c1e3b39-2657-452d-a11d-e2c11ef88003 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 11

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.203282Z

Source-reported events for the cited work

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

Observation 00dcc46f-5677-4cdc-8301-45ea2c2da0dc · outbound

This paper cites Allender, K.

A Verifier Hierarchy Allender, K

Reference 12

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.196641Z

Source-reported events for the cited work

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

Observation 9963c899-34bf-4e23-9863-8ae4bfc859a0 · outbound

This paper cites Chaubal, A.

A Verifier Hierarchy Chaubal, A

Reference 13

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.189322Z

Source-reported events for the cited work

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

Observation 53fd1fb5-2cf6-48a0-80d0-f875a5587a36 · outbound

This paper cites Kannan, H.

A Verifier Hierarchy Kannan, H

Reference 14

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.180711Z

Source-reported events for the cited work

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

Observation b2e63193-71c2-4897-bb00-2b7c791a1990 · outbound

This paper cites Impagliazzo, R.

A Verifier Hierarchy Impagliazzo, R

Reference 15

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.172995Z

Source-reported events for the cited work

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

Observation 4f94d1ea-d6ae-4d11-a7d1-576eba298d43 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 16

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.166083Z

Source-reported events for the cited work

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

Observation ee6bab9b-28e9-4430-aa98-72d9c843a027 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 17

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.159396Z

Source-reported events for the cited work

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

Observation d7821d5c-0f80-44d4-98dd-8d9719d1c528 · outbound

This paper cites Atserias, E.

A Verifier Hierarchy Atserias, E

Reference 18

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.151956Z

Source-reported events for the cited work

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

Observation b5ade25e-8907-4a8b-895b-ec4a78f99bf3 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 19

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.145180Z

Source-reported events for the cited work

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

Observation b14b3347-d616-4510-b1da-26c9dd2aefc6 · outbound

This paper cites Arora, B.

A Verifier Hierarchy Arora, B

Reference 20

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.138190Z

Source-reported events for the cited work

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

Observation 117c90c5-2212-4ec0-85d3-cf7cb21f95b5 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 21

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.130359Z

Source-reported events for the cited work

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

Observation 7a87e517-6a80-48c0-b977-193e6f105199 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 22

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.113597Z

Source-reported events for the cited work

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

Observation 313a7998-e389-423e-82b8-94c2371e21db · outbound

This paper cites Sipser, Introduction to the Theory of Computation, 3rd Edition, Course Technology, Boston, MA, 2013.

A Verifier Hierarchy Sipser, Introduction to the Theory of Computation, 3rd Edition, Course Technology, Boston, MA, 2013

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-06T10:50:25.991227Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6475a28c-ec56-48b0-989d-27dcde9396d4 · outbound

This paper cites Mertens, Number partitioning, Computational complexity and statis- tical physics 125 (2006).

A Verifier Hierarchy Mertens, Number partitioning, Computational complexity and statis- tical physics 125 (2006)

Reference 24

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.098556Z

Source-reported events for the cited work

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

Observation b6758e75-babc-4620-ba2d-d14062a02639 · outbound

This paper cites Selman, D.

A Verifier Hierarchy Selman, D

Reference 25

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.091994Z

Source-reported events for the cited work

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

Observation 0092b9c4-b0f5-409f-b31c-9b123393999c · outbound

This paper cites Ben-Sasson, M.

A Verifier Hierarchy Ben-Sasson, M

Reference 26

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.085636Z

Source-reported events for the cited work

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

Observation 607cc831-43f9-4613-955b-9ef28f51ea09 · outbound

This paper cites Baartse, K.

A Verifier Hierarchy Baartse, K

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.078935Z

Source-reported events for the cited work

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

Observation c4a6b6b0-eece-483b-8cb3-f39e03b594ea · outbound

This paper cites Jacobson, Space-efficient static trees and graphs, in: 30th annual symposium on foundations of computer science, IEEE Computer Society, 1989, pp.

A Verifier Hierarchy Jacobson, Space-efficient static trees and graphs, in: 30th annual symposium on foundations of computer science, IEEE Computer Society, 1989, pp

Reference 28

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.071710Z

Source-reported events for the cited work

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

Observation 383ef466-5335-43c9-b0e7-ca527546a5d0 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 29

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.064211Z

Source-reported events for the cited work

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

Observation 003c08ad-92a0-444d-ad22-c5cdb27179d1 · outbound

This paper cites Aaronson, S.-H.

A Verifier Hierarchy Aaronson, S.-H

Reference 30

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.057542Z

Source-reported events for the cited work

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

Observation 13c67b2a-3bb9-4a2d-b865-8e2f322df45a · outbound

This paper cites Marriott, J.

A Verifier Hierarchy Marriott, J

Reference 31

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.050566Z

Source-reported events for the cited work

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

Observation 248b1520-f397-44be-9bb3-4ea294916106 · outbound

This paper cites an unresolved cited work.

A Verifier Hierarchy Unresolved cited work

Reference 32

Resolution: unresolved; raw_fallback, observed 2026-08-06T10:50:26.043588Z

Source-reported events for the cited work

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

Observation a301c04d-0230-4d96-be7e-635384466e4f · outbound

This paper cites Chiesa, Succinct non-interactive arguments, Ph.D.

A Verifier Hierarchy Chiesa, Succinct non-interactive arguments, Ph.D

Reference 33

Resolution: verified fuzzy; raw_fallback, observed 2026-08-06T10:50:26.035849Z

Source-reported events for the cited work

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

Pith citing papers

No inbound Pith citation observations are available.