TY  - RPRT
TI  - Connected Theorems: A Graph-Based Approach to Evaluating Mathematical Results
AU  - Gergely Bérczi
AU  - Bin Dong
AU  - Haocheng Ju
AU  - Tianyi Xu
PY  - 2026
UR  - https://arxiv.org/abs/2508.17596
ID  - 2508.17596
ER  -