{"as_of":"2026-08-13T11:22:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:6c785cb84664cd1cb107ba044ae88e1a0ebf5fecc007921f3dd7cbb15c863caa","coverage":[{"denominator":15,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":15,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-01T19:24:40.510842Z","state":"measured"},{"denominator":15,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":15,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-13T06:32:02.005865+00:00","state":"measured"},{"denominator":0,"lane":"inbound_itemization","note":"Pith citing papers itemized under the disclosed page cap.","records_observed":0,"source":"paper_references, paper_reference_links","source_observed_at":null,"state":"measured"},{"denominator":1,"lane":"external_citation_measurements","note":"A source-named dated measurement, never combined with another source.","records_observed":0,"source":"cited_works","source_observed_at":null,"state":"measured"}],"external_citation_measurements":[],"inbound":[],"links":{"evidence":"/evidence","html":"/paper/2607.16997/citation-record","integrity":"/paper/2607.16997/integrity","json":"/paper/2607.16997/citation-record.json","paper":"/paper/2607.16997"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:38.978491Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":1,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:38.978491Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:93c1f03c8a059d5d3f5264ba779d1acfe486a56dd3c95c85ebd53e8e11d587f0","observation_id":"365c367f-9eee-4e46-a546-b6d05e44a52c","resolution":{"observed_at":"2026-08-01T19:24:38.978491Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.059662Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":2,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.059662Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:ef4b2c70e317f5a2dc202a14610bceddf455f140f667b84798b5354f21228831","observation_id":"79d6a0c9-0b77-497f-aa18-6b1a6502d223","resolution":{"observed_at":"2026-08-01T19:24:39.059662Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.148133Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":3,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.148133Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:029ff1549e5aba26d5bbdf232905598f021601f8a010338ca9d61eaa6cf16162","observation_id":"c9dce9bf-4eaf-4d2e-a87d-720c28cec95b","resolution":{"observed_at":"2026-08-01T19:24:39.148133Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.271870Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":4,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.271870Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:5aa5019d2cf428b546f43181733cbf958f1cc4a7f80bbebc8e8360e7ec6c3c07","observation_id":"cbf28cf4-b07a-4df6-b660-8b3b6f57ebcd","resolution":{"observed_at":"2026-08-01T19:24:39.271870Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.340962Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":5,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.340962Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:aacd8ab2b77352627685a2c4e7f0e6cf6fa0717921a38753c6ab1bcfbcf2e46d","observation_id":"9d57904f-97aa-487d-95bf-a3cddf995fd3","resolution":{"observed_at":"2026-08-01T19:24:39.340962Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.461028Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":6,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.461028Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:9c3ae5158c07ff3da3da02b77ccbd99eeb61314694f9fd3651841148f33b243a","observation_id":"49e002f9-5302-4040-a9a1-0adb2b35bd4c","resolution":{"observed_at":"2026-08-01T19:24:39.461028Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.626020Z","title":"(3) from retrieved, namespace, module, and global family counts","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":7,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.626020Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:993cb104a76ee38a6ec77ccdb1dd0f04b736109e6a1b9a1102d5cbd981651373","observation_id":"e1ac7690-c779-4652-a5bf-fe5e4c53809d","resolution":{"observed_at":"2026-08-01T19:24:39.626020Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.766801Z","title":"(4); emit the total and per-family contributions","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.766801Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:54337a6b559849a3d9d5d374bbed965dbc09b2aca48417b5ed612bf79aeda235","observation_id":"b2a57877-f177-4ff7-8a9d-ac26f7c552fe","resolution":{"observed_at":"2026-08-01T19:24:39.766801Z","resolver_source":null,"status":"malformed_identifier"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:39.977119Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":11,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:39.977119Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:108f540a6f61600eada6b0f1de7336110b3692717bd552b517886ec247234a45","observation_id":"29088f20-354b-4134-b841-5026fcb6fa92","resolution":{"observed_at":"2026-08-01T19:24:39.977119Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:40.118907Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":12,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:40.118907Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:711324c48144031144da65eee9f2c79819ec5d47460a7dc24945a584aace9e72","observation_id":"6840b13c-03b7-4a0e-9fba-705fd3f0ec4b","resolution":{"observed_at":"2026-08-01T19:24:40.118907Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:40.227207Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":13,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:40.227207Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:18b04b887f12c0bbfd53db3dadcdad692d46139f48d5496c708fefec9fc02a67","observation_id":"cec81963-e559-4b34-8c0a-57c4a1c57d95","resolution":{"observed_at":"2026-08-01T19:24:40.227207Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:40.318151Z","title":null,"venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":14,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:40.318151Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:cd192ebe359891b8afeb9efebe17751800e286513d790d923107202bb16cb535","observation_id":"c5fc1f90-50f6-4e69-bd2d-31d700f021b9","resolution":{"observed_at":"2026-08-01T19:24:40.318151Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-01T19:24:40.510842Z","title":"The analysis command fails closed when it detects duplicate underlying pairs, including side-swapped duplicates, unless –allow-repeats-with-collapseissupplied","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":15,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:40.510842Z"},"links":{"citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:bba0fee10eae9c1952235286dce0f570dae7d031ef10843be5d61b51a448c637","observation_id":"20955569-47a4-4094-8740-734fe31d263c","resolution":{"observed_at":"2026-08-01T19:24:40.510842Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.03350","last_updated":"2025-03-04T00:10:22Z","snapshot_observed_at":"2026-08-13T04:45:00.653757Z","submitted_at":"2024-08-05T20:19:18Z","title":"miniCTX: Neural Theorem Proving with (Long-)Contexts","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.03350","snapshot_observed_at":"2026-08-01T19:24:38.638313Z","title":"Leonardo de Moura and Sebastian Ullrich","venue":null,"work_id":null,"year":2021},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":1960,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:38.638313Z"},"links":{"cited_paper":"/paper/2408.03350","citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:99b8e2e9f74f6207cb96b3919d810d58c4cdd8665e941b1530fc06e2241fe79c","observation_id":"5906d509-7013-440f-a6e5-5373a3c35494","resolution":{"observed_at":"2026-08-01T19:24:38.638313Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2405.14333","last_updated":"2024-05-23T09:03:42Z","snapshot_observed_at":"2026-08-13T00:00:48.229211Z","submitted_at":"2024-05-23T09:03:42Z","title":"DeepSeek-Prover: Advancing Theorem Proving in LLMs through Large-Scale Synthetic Data","version":1},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2405.14333","snapshot_observed_at":"2026-08-01T19:24:38.867083Z","title":"Kaiyu Yang, Aidan Swope, Alex Gu, Rahul Chalamala, Peiyang Song, Shixing Yu, Saad Godil, Ryan J","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-01T19:24:38.867083Z"},"links":{"cited_paper":"/paper/2405.14333","citing_paper":"/paper/2607.16997"},"observation_digest":"sha256:a5ce47ba1707d31c26e2f238fe529169c5356db2878bf6fca8d155f6f400fc0f","observation_id":"5f90f8f0-b7aa-4969-bbaf-3e40e7a2489a","resolution":{"observed_at":"2026-08-01T19:24:38.867083Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}}],"paper":{"arxiv_id":"2607.16997","last_updated":"2026-07-18T23:10:00Z","latest_version":1,"primary_category":"cs.AI","snapshot_observed_at":"2026-08-12T00:06:28.111800Z","submitted_at":"2026-07-18T23:10:00Z","title":"PriorProof: A Point-in-Time Measure of Technique Novelty for Formal Proofs"},"reference_resolution":{"displayed":15,"state_counts":{"malformed_identifier":1,"metadata_mismatch":0,"parse_uncertain":0,"unresolved":14,"verified_exact":0,"verified_fuzzy":0},"total_outbound_references":15},"refusal":"A citation records a reference. It does not transfer a finding from one paper to another.","schema":"pith.paper-citation-record.v1","standing_sources":[{"observed_at":"2026-08-13T06:32:02.005865+00:00","source":"crossref"},{"observed_at":"2026-08-13T06:31:53.387327+00:00","source":"retraction_watch"}],"thesis":"As of 13 August 2026, this Paper Citation Record lists 15 of 15 outbound references and 0 inbound Pith citation observations for arXiv:2607.16997."}