Can LLMs model real-world systems in TLA+?
(sigops.org)
85 points
by mad
18 hours ago |
20 comments
()
()
()
()
()
()
()
()
()
()
()
