@inproceedings{xiangnan2026towards,
title={Towards Theorem Landscapes Beyond Citation Graphs: Charting Theorems, Navigating Fields},
author={Xiangnan Wei, and Pipi Hu},
url={http://archive.ymsc.tsinghua.edu.cn/pacm_paperurl/20260828004148042963783},
year={2026},
}