Next.js Hacker News
SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems
5 points by matt_d 1 hour ago | discuss