Alkemet News
Can LLMs model real-world systems in TLA+?
(sigops.org)
90
points
bymad
19 hours ago |
21
comments
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date
Invalid date