{"as_of":"2026-08-21T14:41:00Z","caps":{"database_statements":6,"inbound":100,"outbound":100},"context_digest":"sha256:7a1138fa31b5497909e20fbd78b67c88bc5ebbd7312a2c5c0e1063e11d3d57c8","coverage":[{"denominator":29,"lane":"reference_resolution","note":"Typed states for the displayed outbound observations.","records_observed":29,"source":"paper_references, paper_reference_links","source_observed_at":"2026-08-16T06:04:13.645637Z","state":"measured"},{"denominator":29,"lane":"standing_notices","note":"One-hop event checks from named stored sources.","records_observed":29,"source":"scholarly_work_events, retraction_status_cache","source_observed_at":"2026-08-21T06:32:19.484+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/2504.19129/citation-record","integrity":"/paper/2504.19129/integrity","json":"/paper/2504.19129/citation-record.json","paper":"/paper/2504.19129"},"outbound":[{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.565230Z","title":"14 Emily First and Yuriy Brun","venue":null,"work_id":null,"year":2022},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":8,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.565230Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:c8140d5e61e0a86b563b9f36c07fd89ef29db8a6c320f4f5cbaf6e8c97036b5c","observation_id":"62f43193-6792-4dd5-8c3d-52dca604a7a3","resolution":{"observed_at":"2026-08-16T06:04:13.565230Z","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-16T06:04:13.568604Z","title":"16 Emily First, Markus N","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":9,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.568604Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:64e4591655109f570b84306d8e4e8ab24e2e494985928de3ddfab02bc8ce5713","observation_id":"d5bc8328-7c0c-482a-805f-21f5807afe45","resolution":{"observed_at":"2026-08-16T06:04:13.568604Z","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-16T06:04:13.595079Z","title":"28 Micheline Bénédicte Moumoula, Abdoul Kader Kaboré, Jacques Klein, and Tegawendé F","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":16,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.595079Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:68a39741b1cf3a437952f642c5f135ea5dbe1ba3d5208741f827f50b074f096b","observation_id":"8a554b06-892b-4104-8aad-407b70bc1aa5","resolution":{"observed_at":"2026-08-16T06:04:13.595079Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2408.04430","last_updated":"2025-05-06T12:19:55Z","snapshot_observed_at":"2026-08-19T11:25:11.856982Z","submitted_at":"2024-08-08T12:57:14Z","title":"The Struggles of LLMs in Cross-lingual Code Clone Detection","version":3},"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":"2408.04430","snapshot_observed_at":"2026-08-16T06:04:13.598318Z","title":"48550/ARXIV.2408.04430","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":17,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.598318Z"},"links":{"cited_paper":"/paper/2408.04430","citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:3d5efa68007ef12b1490261663088cde034af97664b321cffbacb6226930876c","observation_id":"e055c5f4-674b-4e88-b739-95e745c81232","resolution":{"observed_at":"2026-08-16T06:04:13.598318Z","resolver_source":null,"status":"unresolved"},"standing_notice":{"events":[],"reason":"canonical_work_link_unavailable","source_receipts":[],"state":"unavailable"}},{"citation":{"cited_paper":{"arxiv_id":"2003.06458","last_updated":"2020-03-13T19:35:25Z","snapshot_observed_at":"2026-08-16T13:36:26.424543Z","submitted_at":"2020-03-13T19:35:25Z","title":"QED at Large: A Survey of Engineering of Formally Verified Software","version":1},"cited_work":{"arxiv_id":"2003.06458","doi":null,"metadata_source":"pith","pith_arxiv_id":"2003.06458","snapshot_observed_at":"2026-08-16T06:04:13.924012Z","title":"QED at Large: A Survey of Engineering of Formally Verified Software","venue":"cs.LO","work_id":"5e9614b7-9c40-4851-b4e8-0e786e9f8071","year":2020},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":22,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.616679Z"},"links":{"cited_paper":"/paper/2003.06458","citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:4bd039c56ada6844af868aed183178288ad2db6a06eb2abaafc8d382f5d94145","observation_id":"0a9acedf-be33-496e-be43-b297f3e14f41","resolution":{"observed_at":"2026-08-16T06:04:13.928755Z","resolver_source":"local_arxiv","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.623589Z","title":"36 Chanchal Kumar Roy and James R Cordy","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":24,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.623589Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:57746fe770a46228cdd22e5cbd736b37e7bbe3ada6a544b16df369034442d180","observation_id":"f97800b6-903a-45df-bfc3-ec00106f0d43","resolution":{"observed_at":"2026-08-16T06:04:13.623589Z","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-16T06:04:13.630281Z","title":"39 Paula Severi and Erik Poll","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":26,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.630281Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:3b73ce6f944fc2126acf280fea3ed75d76c7077db128d352229acc45b5dda1f7","observation_id":"502e4f70-007b-4b25-a100-64a403aaf4fb","resolution":{"observed_at":"2026-08-16T06:04:13.630281Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:14.404012Z","title":"Deep learning code fragments for code clone detection","venue":null,"work_id":"84b8fdee-502a-475e-930b-dc4e456737dc","year":2016},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":27,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.633608Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:ee9c4ed4dc373c135481e36cc95c4589c422f0c06fb5c3fbfcf556755a8de6f8","observation_id":"b90a6e2b-064f-43d7-8a8a-6391db5ea01b","resolution":{"observed_at":"2026-08-16T06:04:14.408030Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.637202Z","title":"42 Kaiyu Yang and Jia Deng","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":28,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.637202Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:b824b91e0cea4b4b0d332ec72be3c87fa40b742a1e429884fb2bfda4266dfb2f","observation_id":"d0949a7b-e1af-42f2-b4c1-1889f0150849","resolution":{"observed_at":"2026-08-16T06:04:13.637202Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:14.393556Z","title":"43 Dongjin Yu, Jie Wang, Qing Wu, Jiazha Yang, Jiaojiao Wang, Wei Yang, and Wei Yan","venue":null,"work_id":"60947e81-b812-4539-b8cf-6514c9c17722","year":2017},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":29,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.640536Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:290e235065650f763747aae7200f975ed3807bd66b0b1e049c13fdfb5f3d5552","observation_id":"05086021-a6a8-45fd-8232-e7dc70db4f82","resolution":{"observed_at":"2026-08-16T06:04:14.397354Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:14.426648Z","title":"The coq proof assistant documentation,","venue":null,"work_id":"fad60690-a9ff-4edf-9d24-b80da40c99ad","year":2025},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":1992,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.572323Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:cc494709a7392d32c00d28cb424a5b09cd9e46486c12db4fa958800a0c1e3e0f","observation_id":"2e18490e-4f78-4346-a1a8-0639a6dbbb7e","resolution":{"observed_at":"2026-08-16T06:04:14.430366Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.609206Z","title":"32 Clément Pit-Claudel and Pierre Courtieu","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":1993,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.609206Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:84a21b9ed67f1f1652430a3fc172913747fb2ba766ab259106587bd827a09a5a","observation_id":"04c900ba-cbf0-4151-9172-e9e8068c0c5c","resolution":{"observed_at":"2026-08-16T06:04:13.609206Z","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":"10.1007/3-540-44404-1","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"12 David Delahaye","venue":"Lecture Notes in Artificial Intelligence","work_id":"379e5cbe-d370-4b37-8ec9-b4b4d6b101f2","year":2000},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":1995,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.561687Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:a6fbccfd2469bec876eced3fc936a623da372e090661bea87b46b52afa18f96e","observation_id":"acb007a0-b028-4610-a02e-dfd70c092a42","resolution":{"observed_at":"2026-08-16T06:04:13.766034Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.546318Z","title":"4 Yves Bertot and Pierre Castéran.Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2001,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.546318Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:5e80c22da7565dffe9feaa2aad15b6ee781f9ce9156697262ab163a1e4e7865b","observation_id":"884977fb-456c-4e44-a2b0-cb1ef56b269a","resolution":{"observed_at":"2026-08-16T06:04:13.546318Z","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-16T06:04:13.605907Z","title":"31 Christine Paulin-Mohring","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2002,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.605907Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:e3963b5579626c49aa5527991156206d0dedd7da6f28a02a64d402871c4e567f","observation_id":"9ab38fac-e28d-42ac-bc7f-48cf78e79b93","resolution":{"observed_at":"2026-08-16T06:04:13.605907Z","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":"10.1007/978-3-540-30142-4","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.751523Z","title":"22 Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, and Derek Dreyer","venue":null,"work_id":"9c4347e7-6369-4f57-8602-e9f7ffd2ff12","year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2004,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.579494Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:c9fb94ec1f910f5e40c163b62d9b97d0d710091b43f3ad6810add116ca95facf","observation_id":"7f5352fe-f49d-46c9-b309-1b0438c8b031","resolution":{"observed_at":"2026-08-16T06:04:13.755578Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.627028Z","title":"Generatingcorrectness proofs with neural networks","venue":null,"work_id":null,"year":2020},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2007,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.627028Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:046597e5bdf7cf5fcde8ad1c4396829b6601eeafdedd1e7fe771afd0c2a82390","observation_id":"494a85bc-0ed6-45c3-b7fa-c50696d330bf","resolution":{"observed_at":"2026-08-16T06:04:13.627028Z","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":"2012.62278","doi":null,"metadata_source":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:14.139204Z","title":"25 Iman Keivanloo, Chanchal K","venue":null,"work_id":"5aa81b09-9097-48c0-9262-5aba98ca65ea","year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2008,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.587885Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:b09a7058c2c97687d8eae0a6d153e0786b533cf2143f32790f5612b01606f75d","observation_id":"e54aab12-7126-4798-9840-cea18196fad0","resolution":{"observed_at":"2026-08-16T06:04:14.147743Z","resolver_source":"raw_fallback","status":"metadata_mismatch"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":"10.1007/s10817-009-9123-z","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-19T11:03:45.297681Z","title":"2 Danil Annenkov, Jakob Botsch Nielsen, and Bas Spitters","venue":"Journal of Automated Reasoning","work_id":"71ccc007-7326-4892-a54c-cdc1274e24d6","year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2009,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.537946Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:5ce32f8e610d2413411a81e03692148871eb5044433a7f2e1ad3c98a2ed5d3ac","observation_id":"5ab0ed39-f575-46e8-8679-bfd3fa6dbda6","resolution":{"observed_at":"2026-08-16T06:04:13.794804Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.591360Z","title":"27 Xavier Leroy","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2010,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.591360Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:be11aa8d6bc408ea8387704fa42b196eb41407aa6f9b41da345ef962d9ec5704","observation_id":"8f259b4d-9700-4dfe-8126-9cb3e6984214","resolution":{"observed_at":"2026-08-16T06:04:13.591360Z","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":"10.1007/978-3-642-31374-5","metadata_source":"openalex","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-17T11:03:46.409680Z","title":"7 Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F","venue":"Lecture notes in computer science","work_id":"80c2deb5-6143-4e06-9506-68da77da558a","year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2012,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.554298Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:734f96570b4ee39f6db2c56b927707d24c3d254e74416f3a2e1a65a39fa83133","observation_id":"a2dab085-26ad-4fa8-af5b-aa84353fb8cc","resolution":{"observed_at":"2026-08-16T06:04:13.776869Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.645637Z","title":"IEEE Computer Society, 2017.doi:10.1109/COMPSAC","venue":null,"work_id":null,"year":2017},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2017,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.645637Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:e68fe5b356b179954aedf45d168eef58056c035ad7815e1039acb8ce1991a2de","observation_id":"4dd1f902-3c77-465f-a75a-56f9b32c7d0b","resolution":{"observed_at":"2026-08-16T06:04:13.645637Z","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-16T06:04:13.583528Z","title":"cloning considered harmful","venue":null,"work_id":null,"year":2009},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2018,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.583528Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:7a3fe75b4e2424656ec8660b588d0eb26627b7e780b4cb6c0972483fe9953df0","observation_id":"5468d934-8c1c-4b35-aa17-5c03b6c939e1","resolution":{"observed_at":"2026-08-16T06:04:13.583528Z","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":"10.4230/lipics.itp.2019.26","metadata_source":"doi_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.702572Z","title":"35 Kenneth Roe and Scott F","venue":null,"work_id":"1669489e-8b3a-4bf6-af3a-b18a478b9d2a","year":2019},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2019,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.619991Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:9f029b12473a1d1af161890335c5691316f22ed8ecdf0f8ae6b3d4c0950a9838","observation_id":"34d81863-5868-4567-bc78-d42cb3ba4d82","resolution":{"observed_at":"2026-08-16T06:04:13.707327Z","resolver_source":"doi","status":"verified_exact"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.542501Z","title":"3 Gilles Barthe and Olivier Pons","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2020,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.542501Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:cfd124231c472a579adae8044fc68a6469bc4c4fe8f47a179a4dc223a5c5e494","observation_id":"07e308c5-441d-4954-b49e-c994efd7780b","resolution":{"observed_at":"2026-08-16T06:04:13.542501Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:14.437331Z","title":"6 Timothy Bourke, Matthias Daum, Gerwin Klein, and Rafal Kolanski","venue":null,"work_id":"ab682de7-674c-423b-a829-2fb53cd1fd87","year":2012},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2021,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.550334Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:5fcffcec1c73373bd817480c3846805c589e51a914a32658d16504659e4a8f28","observation_id":"cc43789b-1cb9-42f8-8077-31b1eebfa46f","resolution":{"observed_at":"2026-08-16T06:04:14.441485Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}},{"citation":{"cited_paper":null,"cited_work":{"arxiv_id":null,"doi":null,"metadata_source":null,"pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:13.602101Z","title":"30 Tobias Nipkow, Lawrence C","venue":null,"work_id":null,"year":2023},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2023,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.602101Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:2072eebb4ac27f6d22229a33c9784f8c3f73a2df74ffc1ef14924061d34cc4d6","observation_id":"3c3e5d13-953c-463a-9723-1ad071ed8295","resolution":{"observed_at":"2026-08-16T06:04:13.602101Z","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-16T06:04:13.558069Z","title":"8 Coq-Elpi Team","venue":null,"work_id":null,"year":null},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2024,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.558069Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:53f444855641f91c5cb97afeacff28e3464aeee709f084ae2b9bfc949fc37bf1","observation_id":"ab5bab19-b6bd-4e51-a660-8a044aa0c700","resolution":{"observed_at":"2026-08-16T06:04:13.558069Z","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":"raw_reference","pith_arxiv_id":null,"snapshot_observed_at":"2026-08-16T06:04:14.415738Z","title":"URL: https:// rocq-prover.org/doc/V9.0.0/refman/index.html","venue":null,"work_id":"0cc95ec5-4293-4f21-b9ce-fe35369b53d2","year":2004},"citing_paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq","version":1},"reference_index":2025,"source":"pdf_text","source_observed_at":"2026-08-16T06:04:13.576059Z"},"links":{"citing_paper":"/paper/2504.19129"},"observation_digest":"sha256:da1c28dea4bb8bacbc93df042564750aa6e5c05bb3f66d50c3c121e57ca2e0c0","observation_id":"cfd70c82-7637-494a-bd7c-325983529180","resolution":{"observed_at":"2026-08-16T06:04:14.419505Z","resolver_source":"raw_fallback","status":"verified_fuzzy"},"standing_notice":{"events":[],"observation":"No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.","reason":null,"source_receipts":[{"observed_at":"2026-08-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"state":"measured"}}],"paper":{"arxiv_id":"2504.19129","last_updated":"2025-04-27T07:05:05Z","latest_version":1,"primary_category":"cs.PL","snapshot_observed_at":"2026-08-16T05:58:28.957960Z","submitted_at":"2025-04-27T07:05:05Z","title":"Automatic Goal Clone Detection in Rocq"},"reference_resolution":{"displayed":29,"state_counts":{"malformed_identifier":1,"metadata_mismatch":1,"parse_uncertain":0,"unresolved":16,"verified_exact":6,"verified_fuzzy":5},"total_outbound_references":29},"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-21T06:32:19.484+00:00","source":"crossref"},{"observed_at":"2026-08-21T06:32:16.066871+00:00","source":"retraction_watch"}],"thesis":"As of 21 August 2026, this Paper Citation Record lists 29 of 29 outbound references and 0 inbound Pith citation observations for arXiv:2504.19129."}