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

SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems , by authors from Nanjing University, Microsoft Research Asia, University of British Columbia, and University of Illinois Urbana-Champaign. (Disclosure: I&rsquo;ve collaborated with two of the authors from UBC, Finn Hackett and Ivan Beschastnikh.) This is a useful and thought-provoking test of LLMs&rsquo; ability to write…