Can LLMs model real-world systems in TLA+?sigops.org
47 points by mad 12 hours ago | 5 comments