Mathematical Knowledge Graph Comparison on Mathematical Knowledge Graphs
8Textbook CoverageAutoMathKG
Evaluation Results
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| AutoMathKG2025.05 | 8 | — | — | — | 20 | — | — | — | — | |
| NaturalProofs2025.05 | 2 | — | — | — | — | — | — | — | — |
Loading the SOTA2 catalog…
| Method | Links | |||||||||
|---|---|---|---|---|---|---|---|---|---|---|
| AutoMathKG2025.05 | 8 | — | — | — | 20 | — | — | — | — | |
| NaturalProofs2025.05 | 2 | — | — | — | — | — | — | — | — |