Mathematical Knowledge Graph Comparison on Mathematical Knowledge Graphs
8Textbook CoverageAutoMathKG
Evaluation results
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| AutoMathKG2025.05 | 8 | — | — | — | 20 | — | — | — | — | |
| NaturalProofs2025.05 | 2 | — | — | — | — | — | — | — | — |
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| AutoMathKG2025.05 | 8 | — | — | — | 20 | — | — | — | — | |
| NaturalProofs2025.05 | 2 | — | — | — | — | — | — | — | — |