Benchmark reveals LLMs struggle to model real system behavior

Original: Can LLMs model real-world systems in TLA+?

Source: sigops.org ↗