TY  - RPRT
TI  - STORM-BORN: A Challenging Mathematical Derivations Dataset Curated via a Human-in-the-Loop Multi-Agent Framework
AU  - Wenhao Liu
AU  - Zhenyi Lu
AU  - Xinyu Hu
AU  - Jierui Zhang
AU  - Dailin Li
AU  - Jiacheng Cen
AU  - Huilin Cao
AU  - Haiteng Wang
AU  - Yuhan Li
AU  - Kun Xie
AU  - Dandan Li
AU  - Pei Zhang
AU  - Chengbo Zhang
AU  - Yuxiang Ren
AU  - Xiaohong Huang
AU  - Yan Ma
PY  - 2025
UR  - https://arxiv.org/abs/2506.01531
ID  - 2506.01531
ER  -