Typed states for the displayed outbound observations.
Source: paper_references, paper_reference_links, observed 2026-08-11T17:38:31.931378Z
Paper Citation Record · LEDGER
Neural Interactive Proofs
As of 19 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 1 inbound Pith citation observation for arXiv:2412.08897.
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-18T06:34:40.430872+00:00
Pith citing papers itemized under the disclosed page cap.
Source: paper_references, paper_reference_links, observed 2026-07-12T01:34:45.323277Z
A source-named dated measurement, never combined with another source.
Source: cited_works
Reference resolution
15 of 15 outbound references displayed
- verified exact0
- verified fuzzy6
- unresolved9
- parse uncertain0
- malformed identifier0
- metadata mismatch0
External citation measurements
No source-named external measurement is stored.
Outbound references
Observation b1825095-0d52-4a6b-993c-57501fd367a7 · outbound
This paper cites The pairs are divided equally between the different graph sizes and edge probabilities.
Neural Interactive Proofs The pairs are divided equally between the different graph sizes and edge probabilities
Reference 1
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:38:32.436899Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation efc7bbe0-bdd9-48c1-86ba-27040e8c188e · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 2
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.468866Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 592d1774-33ff-4e32-8873-41dae4d7b785 · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 3
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.845872Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation a6b15384-f20c-4c03-9bd5-e33c06fffbe0 · outbound
This paper cites abcabc" for ‘n=6‘, ‘k=3‘ and.
Neural Interactive Proofs abcabc" for ‘n=6‘, ‘k=3‘ and
Reference 4
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:38:32.159686Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 66ffc303-64f4-4bfa-a14b-b4eb8107e4b0 · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 5
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.697684Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 4bd07330-5505-40e5-87f9-70dd7d6f9e55 · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 6
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.557568Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 945a6977-c202-4157-abe5-31e03a654364 · outbound
This paper cites Thus, by applying a union bound, we have that LWC(σER D ) − LWC(σWC) ⩽ ϵ 2 + ϵ 2 + ρ(D) + 0 = ρ(D) + ϵ with probability at least 1 − δ, as required.
Neural Interactive Proofs Thus, by applying a union bound, we have that LWC(σER D ) − LWC(σWC) ⩽ ϵ 2 + ϵ 2 + ρ(D) + 0 = ρ(D) + ϵ with probability at least 1 − δ, as required
Reference 8
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:38:32.452683Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation f9213cbb-8aa4-436d-941f-a5f6f8a25e55 · outbound
This paper cites The intuition behind the equilibrium (δp 3 , σv † ) is that the larger the probability mass on the setting when x = 3 (i.e.
Neural Interactive Proofs The intuition behind the equilibrium (δp 3 , σv † ) is that the larger the probability mass on the setting when x = 3 (i.e
Reference 9
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:38:32.828203Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 9111daef-0fe5-4394-b16d-5c1ab977f2ed · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 10
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.420618Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 6a57b684-c366-475e-8cf2-c51e8b0449db · outbound
This paper cites Verifier.
Neural Interactive Proofs Verifier
Reference 11
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:38:32.404649Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation fc19c1c9-2adc-433a-b069-cd0d9fbaa740 · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 12
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.388543Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 70cbaa71-2535-4612-91dd-2b34c8734561 · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 13
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.373427Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 977fc79a-b5be-4910-aebb-3cafcea68082 · outbound
This paper cites an unresolved cited work.
Neural Interactive Proofs Unresolved cited work
Reference 14
- Resolution
- unresolved
- raw_fallback, observed 2026-08-11T17:38:32.233759Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Observation 824e94e6-341e-42e4-9d7a-6bdc10d94fee · outbound
This paper cites Noga Amit, Shafi Goldwasser, Orr Paradise, and Guy Rothblum.
Neural Interactive Proofs Noga Amit, Shafi Goldwasser, Orr Paradise, and Guy Rothblum
Reference 1999
- Resolution
- unresolved
- no resolver link, observed 2026-08-11T17:38:31.746600Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.
Observation 11a681a6-cf06-433b-9861-7b6ff4927ff2 · outbound
This paper cites In this work we help bridge the gap between these theoretical and empirical extrema, albeit in the specific context of prover-verifier games.
Neural Interactive Proofs In this work we help bridge the gap between these theoretical and empirical extrema, albeit in the specific context of prover-verifier games
Reference 2021
- Resolution
- verified fuzzy
- raw_fallback, observed 2026-08-11T17:38:32.862625Z
Source-reported events for the cited work
No event found in the named queried sources as of 2026-08-18T06:34:40.430872+00:00.
Pith citing papers
Observation 015756c0-d47b-4743-82ee-262561cbdc22 · inbound
How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs cites this paper.
How to Avoid Debate: Scalable AI Safety via Doubly-Efficient Interactive Proofs Neural Interactive Proofs
Reference 8
- Resolution
- unresolved
- no resolver link, observed 2026-07-12T01:34:45.323277Z
Source-reported events for the cited work
Unavailable: canonical work link unavailable.