SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
5 points by matt_d 5 hours ago | 0 comments