Can LLMs model real-world systems in TLA+? Hacker News by mad 122 votes 751 karma 5d ago Read More ↗ Source