Alkemet News
Can LLMs model real-world systems in TLA+? (sigops.org)

90 points

bymad

19 hours ago |

21 comments