Can LLMs model real-world systems in TLA+?

Posted 19 hours ago by mad
88 points

https://www.sigops.org/2026/can-llms-model-real-world-systems-in-tla/

11 comments

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..

Loading..