Can LLMs model real-world systems in TLA+?

(sigops.org)

2 points | by mad 6 hours ago ago

No comments yet.