TY  - RPRT
TI  - MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification
AU  - Sirui Li
AU  - Wangyue Lu
AU  - Xiaorui Shi
AU  - Ke Weng
AU  - Haozhe Sun
AU  - Minghe Yu
AU  - Tiancheng Zhang
AU  - Ge Yu
AU  - Hengyu Liu
AU  - Lun Du
PY  - 2025
UR  - https://arxiv.org/abs/2512.18256
ID  - 2512.18256
ER  -