Can LLMs model real-world systems in TLA+?

(sigops.org) by mad | May 8, 2026 | 0 comments on HN