[{"data":1,"prerenderedAt":-1},["ShallowReactive",2],{"tag-conversation-semantics":3},{"tag":4,"articles":10},{"id":5,"name":6,"slug":7,"article_count":8,"description_zh":9,"description_en":9},"89b1e7d0-6bd7-47e7-b61c-e592e0ad4bf0","conversation semantics","conversation-semantics",0,null,[11],{"id":12,"slug":13,"title":14,"summary":15,"category":16,"image_url":17,"cover_image":17,"language":18,"created_at":19},"c15f45ee-a548-4dbf-8152-91de159c1a11","llmbda-calculus-agent-safety-rules-zh","LLMbda 演算替 AI 代理人立安全規則","這篇論文用形式化演算描述 LLM 代理人的對話與資訊流，目標是把隔離、保密與完整性變成可證明的安全規則。","research","https:\u002F\u002Fxxdpdyhzhpamafnrdkyq.supabase.co\u002Fstorage\u002Fv1\u002Fobject\u002Fpublic\u002Fcovers\u002Finline-1778825503412-mlbf.png","zh","2026-05-15T06:10:34.832664+00:00"]