Can LLMs model real-world systems in TLA+?

by mad | View on Hacker News