Paper Citation Record · LEDGER

Automatic Goal Clone Detection in Rocq

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.

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

pith.paper-citation-record.v1
2504.19129 v1

Coverage vector

measured 29 of 29 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-16T06:04:13.645637Z

measured 29 of 29 standing notices

One-hop event checks from named stored sources.

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

29 of 29 outbound references displayed

verified exact6
verified fuzzy5
unresolved16
parse uncertain0
malformed identifier1
metadata mismatch1

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 62f43193-6792-4dd5-8c3d-52dca604a7a3 · outbound

This paper cites 14 Emily First and Yuriy Brun.

Automatic Goal Clone Detection in Rocq 14 Emily First and Yuriy Brun

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.565230Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d5bc8328-7c0c-482a-805f-21f5807afe45 · outbound

This paper cites 16 Emily First, Markus N.

Automatic Goal Clone Detection in Rocq 16 Emily First, Markus N

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.568604Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8a554b06-892b-4104-8aad-407b70bc1aa5 · outbound

This paper cites 28 Micheline Bénédicte Moumoula, Abdoul Kader Kaboré, Jacques Klein, and Tegawendé F.

Automatic Goal Clone Detection in Rocq 28 Micheline Bénédicte Moumoula, Abdoul Kader Kaboré, Jacques Klein, and Tegawendé F

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.595079Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e055c5f4-674b-4e88-b739-95e745c81232 · outbound

This paper cites The Struggles of LLMs in Cross-lingual Code Clone Detection.

Automatic Goal Clone Detection in Rocq The Struggles of LLMs in Cross-lingual Code Clone Detection

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.598318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0a9acedf-be33-496e-be43-b297f3e14f41 · outbound

This paper cites QED at Large: A Survey of Engineering of Formally Verified Software.

Automatic Goal Clone Detection in Rocq QED at Large: A Survey of Engineering of Formally Verified Software

Reference 22

Resolution: verified exact; local_arxiv, observed 2026-08-16T06:04:13.928755Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation f97800b6-903a-45df-bfc3-ec00106f0d43 · outbound

This paper cites 36 Chanchal Kumar Roy and James R Cordy.

Automatic Goal Clone Detection in Rocq 36 Chanchal Kumar Roy and James R Cordy

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.623589Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 502e4f70-007b-4b25-a100-64a403aaf4fb · outbound

This paper cites 39 Paula Severi and Erik Poll.

Automatic Goal Clone Detection in Rocq 39 Paula Severi and Erik Poll

Reference 26

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.630281Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation b90a6e2b-064f-43d7-8a8a-6391db5ea01b · outbound

This paper cites Deep learning code fragments for code clone detection.

Automatic Goal Clone Detection in Rocq Deep learning code fragments for code clone detection

Reference 27

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:04:14.408030Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation d0949a7b-e1af-42f2-b4c1-1889f0150849 · outbound

This paper cites 42 Kaiyu Yang and Jia Deng.

Automatic Goal Clone Detection in Rocq 42 Kaiyu Yang and Jia Deng

Reference 28

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.637202Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05086021-a6a8-45fd-8232-e7dc70db4f82 · outbound

This paper cites 43 Dongjin Yu, Jie Wang, Qing Wu, Jiazha Yang, Jiaojiao Wang, Wei Yang, and Wei Yan.

Automatic Goal Clone Detection in Rocq 43 Dongjin Yu, Jie Wang, Qing Wu, Jiazha Yang, Jiaojiao Wang, Wei Yang, and Wei Yan

Reference 29

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:04:14.397354Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 2e18490e-4f78-4346-a1a8-0639a6dbbb7e · outbound

This paper cites The coq proof assistant documentation,.

Automatic Goal Clone Detection in Rocq The coq proof assistant documentation,

Reference 1992

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:04:14.430366Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 04c900ba-cbf0-4151-9172-e9e8068c0c5c · outbound

This paper cites 32 Clément Pit-Claudel and Pierre Courtieu.

Automatic Goal Clone Detection in Rocq 32 Clément Pit-Claudel and Pierre Courtieu

Reference 1993

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.609206Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation acb007a0-b028-4610-a02e-dfd70c092a42 · outbound

This paper cites 12 David Delahaye.

Automatic Goal Clone Detection in Rocq 12 David Delahaye

Reference 1995

Resolution: verified exact; doi, observed 2026-08-16T06:04:13.766034Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 884977fb-456c-4e44-a2b0-cb1ef56b269a · outbound

This paper cites 4 Yves Bertot and Pierre Castéran.Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions.

Automatic Goal Clone Detection in Rocq 4 Yves Bertot and Pierre Castéran.Interactive Theorem Proving and Program Development - Coq’Art: The Calculus of Inductive Constructions

Reference 2001

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.546318Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9ab38fac-e28d-42ac-bc7f-48cf78e79b93 · outbound

This paper cites 31 Christine Paulin-Mohring.

Automatic Goal Clone Detection in Rocq 31 Christine Paulin-Mohring

Reference 2002

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.605907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 7f5352fe-f49d-46c9-b309-1b0438c8b031 · outbound

This paper cites 22 Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, and Derek Dreyer.

Automatic Goal Clone Detection in Rocq 22 Ralf Jung, Robbert Krebbers, Jacques-Henri Jourdan, Ales Bizjak, Lars Birkedal, and Derek Dreyer

Reference 2004

Resolution: verified exact; doi, observed 2026-08-16T06:04:13.755578Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 494a85bc-0ed6-45c3-b7fa-c50696d330bf · outbound

This paper cites Generatingcorrectness proofs with neural networks.

Automatic Goal Clone Detection in Rocq Generatingcorrectness proofs with neural networks

Reference 2007

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.627028Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e54aab12-7126-4798-9840-cea18196fad0 · outbound

This paper cites 25 Iman Keivanloo, Chanchal K.

Automatic Goal Clone Detection in Rocq 25 Iman Keivanloo, Chanchal K

Reference 2008

Resolution: metadata mismatch; raw_fallback, observed 2026-08-16T06:04:14.147743Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 5ab0ed39-f575-46e8-8679-bfd3fa6dbda6 · outbound

This paper cites 2 Danil Annenkov, Jakob Botsch Nielsen, and Bas Spitters.

Automatic Goal Clone Detection in Rocq 2 Danil Annenkov, Jakob Botsch Nielsen, and Bas Spitters

Reference 2009

Resolution: verified exact; doi, observed 2026-08-16T06:04:13.794804Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 8f259b4d-9700-4dfe-8126-9cb3e6984214 · outbound

This paper cites 27 Xavier Leroy.

Automatic Goal Clone Detection in Rocq 27 Xavier Leroy

Reference 2010

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.591360Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation a2dab085-26ad-4fa8-af5b-aa84353fb8cc · outbound

This paper cites 7 Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F.

Automatic Goal Clone Detection in Rocq 7 Pedro Carrott, Nuno Saavedra, Kyle Thompson, Sorin Lerner, João F

Reference 2012

Resolution: verified exact; doi, observed 2026-08-16T06:04:13.776869Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 4dd1f902-3c77-465f-a75a-56f9b32c7d0b · outbound

This paper cites IEEE Computer Society, 2017.doi:10.1109/COMPSAC.

Automatic Goal Clone Detection in Rocq IEEE Computer Society, 2017.doi:10.1109/COMPSAC

Reference 2017

Resolution: malformed identifier; no resolver link, observed 2026-08-16T06:04:13.645637Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5468d934-8c1c-4b35-aa17-5c03b6c939e1 · outbound

This paper cites cloning considered harmful.

Automatic Goal Clone Detection in Rocq cloning considered harmful

Reference 2018

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.583528Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34d81863-5868-4567-bc78-d42cb3ba4d82 · outbound

This paper cites 35 Kenneth Roe and Scott F.

Automatic Goal Clone Detection in Rocq 35 Kenneth Roe and Scott F

Reference 2019

Resolution: verified exact; doi, observed 2026-08-16T06:04:13.707327Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 07e308c5-441d-4954-b49e-c994efd7780b · outbound

This paper cites 3 Gilles Barthe and Olivier Pons.

Automatic Goal Clone Detection in Rocq 3 Gilles Barthe and Olivier Pons

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.542501Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cc43789b-1cb9-42f8-8077-31b1eebfa46f · outbound

This paper cites 6 Timothy Bourke, Matthias Daum, Gerwin Klein, and Rafal Kolanski.

Automatic Goal Clone Detection in Rocq 6 Timothy Bourke, Matthias Daum, Gerwin Klein, and Rafal Kolanski

Reference 2021

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:04:14.441485Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Observation 3c3e5d13-953c-463a-9723-1ad071ed8295 · outbound

This paper cites 30 Tobias Nipkow, Lawrence C.

Automatic Goal Clone Detection in Rocq 30 Tobias Nipkow, Lawrence C

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.602101Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation ab5bab19-b6bd-4e51-a660-8a044aa0c700 · outbound

This paper cites 8 Coq-Elpi Team.

Automatic Goal Clone Detection in Rocq 8 Coq-Elpi Team

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-16T06:04:13.558069Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cfd70c82-7637-494a-bd7c-325983529180 · outbound

This paper cites URL: https:// rocq-prover.org/doc/V9.0.0/refman/index.html.

Automatic Goal Clone Detection in Rocq URL: https:// rocq-prover.org/doc/V9.0.0/refman/index.html

Reference 2025

Resolution: verified fuzzy; raw_fallback, observed 2026-08-16T06:04:14.419505Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-21T06:32:19.484+00:00.

Pith citing papers

No inbound Pith citation observations are available.