Paper Citation Record · LEDGER

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs

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

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

pith.paper-citation-record.v1
2607.16997 v1

Coverage vector

measured 15 of 15 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-01T19:24:40.510842Z

measured 15 of 15 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-14T06:32:32.682623+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

15 of 15 outbound references displayed

verified exact0
verified fuzzy0
unresolved14
parse uncertain0
malformed identifier1
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 365c367f-9eee-4e46-a546-b6d05e44a52c · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:38.978491Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 79d6a0c9-0b77-497f-aa18-6b1a6502d223 · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.059662Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c9dce9bf-4eaf-4d2e-a87d-720c28cec95b · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.148133Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cbf28cf4-b07a-4df6-b660-8b3b6f57ebcd · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.271870Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9d57904f-97aa-487d-95bf-a3cddf995fd3 · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.340962Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49e002f9-5302-4040-a9a1-0adb2b35bd4c · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.461028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e1ac7690-c779-4652-a5bf-fe5e4c53809d · outbound

This paper cites (3) from retrieved, namespace, module, and global family counts.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs (3) from retrieved, namespace, module, and global family counts

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.626020Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b2a57877-f177-4ff7-8a9d-ac26f7c552fe · outbound

This paper cites (4); emit the total and per-family contributions.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs (4); emit the total and per-family contributions

Reference 8

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

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 29088f20-354b-4134-b841-5026fcb6fa92 · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:39.977119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6840b13c-03b7-4a0e-9fba-705fd3f0ec4b · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:40.118907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cec81963-e559-4b34-8c0a-57c4a1c57d95 · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:40.227207Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation c5fc1f90-50f6-4e69-bd2d-31d700f021b9 · outbound

This paper cites an unresolved cited work.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs Unresolved cited work

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:40.318151Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20955569-47a4-4094-8740-734fe31d263c · outbound

This paper cites The analysis command fails closed when it detects duplicate underlying pairs, including side-swapped duplicates, unless –allow-repeats-with-collapseissupplied.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs The analysis command fails closed when it detects duplicate underlying pairs, including side-swapped duplicates, unless –allow-repeats-with-collapseissupplied

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:40.510842Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5906d509-7013-440f-a6e5-5373a3c35494 · outbound

This paper cites miniCTX: Neural Theorem Proving with (Long-)Contexts.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs miniCTX: Neural Theorem Proving with (Long-)Contexts

Reference 1960

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:38.638313Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5f90f8f0-b7aa-4969-bbaf-3e40e7a2489a · outbound

This paper cites DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data.

PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-01T19:24:38.867083Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.