@misc{indiciae02c7c5d64ea4, title = {SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems}, author = {Qian Cheng and Ruize Tang and Emilie Ma and Finn Hackett and Peiyang He and Yiming Su and Ivan Beschastnikh and Yu Huang and Xiaoxing Ma and Tianyin Xu}, year = {2026}, url = {https://arxiv.org/abs/2509.23130}, note = {Source identifier: 2509.23130} }