Hacker Next
Can LLMs model real-world systems in TLA+?sigops.org
121 points by mad 3 days ago | 32 comments