{"type": "article", "title": "SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems", "publisher": "Web Pulse", "url": "https://wpnews.pro/news/sysmobench-evaluating-ai-on-formally-modeling-complex-real-world-systems", "original_source": "https://muratbuffalo.blogspot.com/2026/03/sysmobench-evaluating-ai-on-formally.html", "published": "2026-03-24T19:36:00+00:00", "accessed": "2026-07-07", "id": "sysmobench-evaluating-ai-on-formally-modeling-complex-real-world-systems"}