HN
New
Show
Ask
Jobs
Built with Astro
Can LLMs model real-world systems in TLA+?
(sigops.org)
2 points | by
mad
6 hours ago
No comments yet.