[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"tag-model-checking":3},{"tag":4,"articles":10},{"id":5,"name":6,"slug":7,"article_count":8,"description_zh":9,"description_en":9},"02cf2e07-fae1-47f7-860e-eca5260e9e7c","model checking","model-checking",0,null,[11],{"id":12,"slug":13,"title":14,"summary":15,"category":16,"image_url":17,"cover_image":17,"language":18,"created_at":19},"e323567e-d980-4dff-96ee-61d7b93cf3ce","llms-natural-language-tla-plus-specs-en","Can LLMs Write Correct TLA+ Specs?","A benchmark of 30 LLMs shows they rarely generate semantically correct TLA+ specs from natural language.","research","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1781191083791-mkcn.png","en","2026-06-11T15:17:33.962216+00:00"]