让LLM代理通过可编程运行时技能，实现效率与准确性的双重提升。
arXiv:2605.19604v1 Announce Type: new Abstract: Large Language Model (LLM) agents increasingly act inside real workspaces, where tools and skills dete…
AI生成代码靠得住？形式化方法给出数学级别的安全保障，从此告别“测试不能证明没有bug”的焦虑。
Article URL: https://www.codemetal.ai/research/ai-generated-code-that-works-and-proves-it Comments URL: https://news.ycombinator.com/item?id=48186334 …
形式化方法与LLM结合，为AI系统合规提供审计、监控和干预的全生命周期治理方案。
arXiv:2605.16198v1 Announce Type: new Abstract: We examine one particular dimension of AI governance: how to monitor and audit AI-enabled products and…