@misc{indiciae60be0a6895ef,
  title = {MSC-180: A Benchmark for Automated Formal Theorem Proving from Mathematical Subject Classification},
  author = {Sirui Li and Wangyue Lu and Xiaorui Shi and Ke Weng and Haozhe Sun and Minghe Yu and Tiancheng Zhang and Ge Yu and Hengyu Liu and Lun Du},
  year = {2025},
  url = {https://arxiv.org/abs/2512.18256},
  note = {Source identifier: 2512.18256}
}