SysMoBench: Evaluating AI on Formally Specifying Complex Real-World Systems - Cheng, Qian; Tang, Ruize; Ma, Emilie; Hackett, Finn; He, Peiyang; Su, Yiming; Beschastnikh, Ivan; Huang, Yu; Ma, Xiaoxing; Xu, Tianyin (International Conference on Learning Representations, 2026)