Latest posts
-
Can LLMs Model Real-World Systems in TLA+? My Take
Exploring if LLMs can truly model complex systems in TLA+. Dive into formal verification, AI’s role, and my real-world tech insights. Is it worth the hype? Read more!
Exploring if LLMs can truly model complex systems in TLA+. Dive into formal verification, AI’s role, and my real-world tech insights. Is it worth the hype? Read more!