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