@misc{indiciae5e6abcca167f,
  title = {The Network Structure of Mathlib},
  author = {Xinze Li and Nanyun Peng and Simone Severini and Patrick Shafto},
  year = {2026},
  url = {https://arxiv.org/abs/2604.24797},
  note = {Source identifier: 2604.24797}
}