Datasetpublic

MathNetwork/MathlibGraph

MathlibGraph: The Multinetwork of Mathlib Dependency graph of Mathlib (commit 534cf0b, 2 Feb 2026), the largest formal mathematics library for Lean 4 (v4.28.0-rc1). Three dependency layers (declarations, modules, namespaces), each with nodes, edges, and precomputed network metrics. Quick Stats Declarations Modules Namespaces (k=2) Nodes 308,129 7,564 10,097 Edges 8,436,366 20,881 332,081 (weighted) DAG depth 83 154 7 (after SCC condensation)… See the full description on the dataset page: https://huggingface.co/datasets/MathNetwork/MathlibGraph.

sourceHugging Faceapache-2.0updated 6mo agoView on Hugging Face

0likes466downloads

rootexperimentsholdout_edge_level.json

holdout_edge_level.json63 linesDownload Raw Back to experiments

1{2  "completed_splits": [3    {4      "seed": 42,5      "results": {6        "Random": {7          "AUC": 0.497,8          "R@10": 0.179,9          "R@50": 0.897,10          "MRR": 0.25,11          "n_problems": 500012        },13        "Same module": {14          "AUC": 0.562,15          "R@10": 0.398,16          "R@50": 0.973,17          "MRR": 0.994,18          "n_problems": 500019        },20        "Same namespace": {21          "AUC": 0.59,22          "R@10": 0.431,23          "R@50": 0.974,24          "MRR": 0.93,25          "n_problems": 500026        },27        "Same community": {28          "AUC": 0.755,29          "R@10": 0.441,30          "R@50": 0.98,31          "MRR": 0.786,32          "n_problems": 500033        },34        "Network features": {35          "AUC": 0.988,36          "R@10": 0.919,37          "R@50": 0.999,38          "MRR": 0.976,39          "n_problems": 500040        },41        "All features": {42          "AUC": 0.992,43          "R@10": 0.926,44          "R@50": 0.999,45          "MRR": 0.984,46          "n_problems": 500047        }48      },49      "diagnostics": {50        "in_degree_pearson_r": 0.999991,51        "out_degree_pearson_r": 0.996016,52        "pagerank_pearson_r": 0.911671,53        "betweenness_pearson_r": 0.658761,54        "community_nmi": 0.6737,55        "dag_layer_mean_shift": 3.1637,56        "dag_layer_max_shift": 80,57        "n_wcc": 363,58        "largest_wcc_size": 30776359      },60      "elapsed_s": 293761    }62  ]63}