Cross-file dependency reuse analysis on RepoProver
1,164Formalization-reflected Edges
RepoProver
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 1,164 | 2,557 | 45 | |
2026.06 | 719 | 1,852 | 38 | |
2026.06 | 426 | 679 | 62 | |
2026.06 | 19 | 26 | 73 |
RepoProver
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 1,164 | 2,557 | 45 | |
2026.06 | 719 | 1,852 | 38 | |
2026.06 | 426 | 679 | 62 | |
2026.06 | 19 | 26 | 73 |