SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems

SysMoBench is a benchmark suite for evaluating AI capabilities on formally modeling complex real-world systems.