（来源：上观新闻）
实验结♐👇果 以M‼AI-🚀UI-2💻🤢B为基座，🎃ClawGU🌧I-2B在M♓📿obileW🇧🇿orld基准上的🕵️♀️🇧🇱表现： 几个关键🧛♀️🦋数字：ClawG↔UI-2B达到⚪17.👨⚕️1 SR🖥💛，大幅✳🔳超越M🇦🇿❔AI-UI-2B👩🐆基线（11🍒👹.1），🧙♀️📰提升幅📽度达6%✈。
图丨相关论文（🤹♀️来源：arXi👩⚕️v） 🏁🐖相关论文🇼🇫以《FM-🇵🇫Age💪🌙nt：通过基🍢于大语言模型🕞🏯的霍尔逻辑推👍🔩理将形式化方🇶🇦法扩展至大规模👼系统软件👩🍳》（FM-Age🗝nt: 🏗Scalin🚬g Formal🌋 Method👨🎨🥨s to L🕤arge👨🦱 Syst🇮🇳🤔ems vi🇦🇶◻a LLM🇬🇷🥯-Based🅾 Hoare-⛹️♀️🚍Style R🍋easonin👨🦲🧞♀️g）为题发表在👧预印本网站 a🚭rXiv[1]🏓‼。
