arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

代码大模型 / AI 编程

代码生成、软件工程智能体、程序修复、测试生成和开发者工具。

2025-12-02 至 2025-12-02 共收录 1 信号源:cs.SE, cs.CL, cs.AI, cs.LG, cs.PL

1. 软件智能体 1 篇

2512.00611 2025-12-02 cs.CL 57%

Prism: A Minimal Compositional Metalanguage for Specifying Agent Behavior

Prism:一种最小的组合金属言用于指定代理行为

Franck Binard, Vanja Kljajevic

机构 * Deloitte AI(德勤人工智能) University of Oslo(奥斯陆大学)

专题命中 软件智能体 :software agent(abstract);分类 cs.CL

AI总结 Prism通过组合性金属言为代理行为提供最小化规格,结合领域特定词汇与工具,实现可检查和可执行的策略定义。

详情

展开后加载摘要…

URL PDF HTML 收藏