clone-finder detects alpha-equivalent proof goals in Rocq projects and estimates that real codebases hold an average of 27.73 such goal clones per project with a 5-line proof threshold.
Deep learning code fragments for code clone detection
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.PL 1years
2025 1verdicts
CONDITIONAL 1representative citing papers
citing papers explorer
-
Automatic Goal Clone Detection in Rocq
clone-finder detects alpha-equivalent proof goals in Rocq projects and estimates that real codebases hold an average of 27.73 such goal clones per project with a 5-line proof threshold.