Can LLMs model real-world systems in TLA+?

92 points

by mad

19 hours ago

22 comments