wr
hn
Top
New
Best
Ask
Show
Jobs
Back
S
sigops.org
Can LLMs model real-world systems in TLA+?
123 points
mad
5 months ago
33 comments
Discussion
