SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systemsmuratbuffalo.blogspot.com5 pointsmatt_d3 months ago