SkillForge
PulseAugur coverage of SkillForge — every cluster mentioning SkillForge across labs, papers, and developer communities, ranked by signal.
-
AI agents learn and manage skills more effectively with new research
Recent research explores methods for improving the effectiveness and management of skills used by AI agents. Papers introduce techniques like SGUID for selecting optimal skill subsets for distillation, SkillMorph for gu…
-
SkillForge framework generates formally verified Dafny programs
Researchers have developed SkillForge, a novel framework designed to generate formally verified Dafny programs from natural language descriptions. This system decomposes the complex task into a library of reusable skill…
-
SkillForge framework enhances LLM agents for project-specific software issue resolution
A new framework called SkillForge has been introduced to enhance the ability of large language model (LLM) agents to resolve software issues within specific repositories. SkillForge proactively acquires project-specific…
-
Embodied AI's Infrastructure Provider Emerges from Robotaxi Pioneer · 1 source tracked
Jingshuo Technology, a company incubated by WeRide, is positioning itself as a foundational infrastructure provider for embodied AI. Instead of focusing on building complete robots or solely on AI models, Jingshuo is de…
-
Developer launches SkillForge, an AI skill manager inspired by Homebrew
A developer has created SkillForge, an open-source tool designed to streamline the creation and management of AI skills, drawing inspiration from package managers like Homebrew. SkillForge aims to address the limitation…