Cross-file dependency reuse analysis on RepoProver
1,164Formalization-reflected EdgesRepoProver
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| RepoProverEdge type=All2026.06 | 1,164 | 2,557 | 45 | |
| RepoProverEdge type=Keyword only2026.06 | 719 | 1,852 | 38 | |
| RepoProverEdge type=Citation only2026.06 | 426 | 679 | 62 | |
| RepoProverEdge type=Both signals2026.06 | 19 | 26 | 73 |