SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems. - Qian Cheng; Ruize Tang; Emilie Ma; Finn Hackett; Peiyang He; Yiming Su; Ivan Beschastnikh; Yu Huang; Xiaoxing Ma; Tianyin Xu (CoRR, 2025)