4 ms·SysMoBench: Evaluating AI on Formally Modeling Complex Real-World Systems5 points by matt_d 7mo ago