Cross-file dependency reuse analysis on OpenMath
16Formalization-reflected EdgesAgent Pipeline
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Agent PipelineEdge type=All2026.06 | 16 | 33 | 48 | |
| Agent PipelineEdge type=Keyword only2026.06 | 12 | 22 | 54 | |
| Agent PipelineEdge type=Citation only2026.06 | 4 | 11 | 36 |