SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
Published in ICLR 2026, 2026
SysMoBench is a benchmark suite for evaluating AI capabilities on formally modeling complex real-world systems.
Recommended citation: Qian Cheng, Ruize Tang, Emilie Ma, Finn Hackett, Peiyang He, Yiming Su, Ivan Beschastnikh, Yu Huang, Xiaoxing Ma, Tianyin Xu. "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems." ICLR 2026.
Download Paper