SkillForge
PulseAugur coverage of SkillForge — every cluster mentioning SkillForge across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
SkillForge 框架生成形式化验证的 Dafny 程序
研究人员开发了 SkillForge，一个新颖的框架，旨在根据自然语言描述生成形式化验证的 Dafny 程序。该系统将复杂任务分解为可重用技能库，每个技能处理一个特定子任务，如规范推断或错误诊断。一个由验证驱动的约束器协调这些技能，将代码提交给 Dafny 验证器，诊断失败，并路由到适当的修复技能，直到达到形式正确性或满足资源预算。与现有的基于代理和迭代的方法相比，SkillForge 在自然语言到 Dafny 规范的基准测试中表现出…
-
SkillForge框架增强LLM代理以解决项目特定的软件问题
一个名为SkillForge的新框架已被引入，以增强大型语言模型（LLM）代理在特定代码库内解决软件问题的能力。SkillForge通过综合和解决源自代码库自身功能的问题来主动获取项目特定知识，而不是依赖历史数据或昂贵的在线探索。此过程将可重用的、项目特定的知识提炼成技能，然后用于提高自动化软件问题解决的准确性和效率。
-
具身AI基础设施提供商现身，源自Robotaxi先驱 · 追踪1个来源
文远知行孵化的公司“京枢科技”正将自己定位为具身智能的基础设施提供商。京枢科技不专注于制造完整的机器人或仅开发AI模型，而是致力于开发数据和世界模型技术。这种方法解决了具身智能领域的一个关键瓶颈，即缺乏强大的数据基础设施阻碍了模型开发和实际应用。
-
开发者推出 SkillForge，一款受 Homebrew 启发的 AI 技能管理器
一位开发者创建了 SkillForge，这是一个开源工具，旨在简化 AI 技能的创建和管理，其灵感来源于 Homebrew 等包管理器。SkillForge 旨在通过关注特定堆栈的命名约定而非广泛的基于角色的类别来解决现有 AI 技能市场的局限性。该工具允许用户用简单的英语定义需求，SkillForge 将规划必要的工具，生成专注的技能，并在本地管理它们，不带遥测，并支持多个 LLM 提供商。