Cross-file dependency reuse analysis on OpenMath
16Formalization-reflected Edges
Agent Pipeline
Updated 1mo ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 16 | 33 | 48 | |
2026.06 | 12 | 22 | 54 | |
2026.06 | 4 | 11 | 36 |
Agent Pipeline
| Method | Links | |||
|---|---|---|---|---|
2026.06 | 16 | 33 | 48 | |
2026.06 | 12 | 22 | 54 | |
2026.06 | 4 | 11 | 36 |