色色的网址五月,在这里发现兴趣,分享快乐,记录生活的每个精彩瞬间

k1体育麻将胡了

搜索 猫眼影戏 融媒体矩阵
  • 山东手机报

  • 猫眼影戏

  • 公共网官方微信

  • 公共网官方微博

  • 抖音

  • 人民号

  • 天下党媒平台

  • 央视频

  • 百家号

  • 快手

  • 头条号

  • 哔哩哔哩

首页 >新闻 >社会新闻

Agent2World来了  ,把天下模子做成可运行的符号情形

2026-02-05 11:02:22
泉源:

猫眼影戏

作者:

郑玄

手机审查

  猫眼影戏记者 单宁 报道Q8X2R7L1T4J5M9B6W3

让模子真正 “能行动”  ,往往需要一个可执行、可验证的符号天下模子(Symbolic World Model):它不是笼统的文字形貌  ,而是能被妄想器或执行器直接挪用的形式化界说 —— 例如 PDDL 领域 / 问题  ,或可运行的情形代码 / 模拟器  。一旦天下被 “写成可运行的规则”  ,我们就能在统一套约束下举行推演、测试与复现:模子不再停留在 “会说”  ,而是能回覆 “若是我这样做  ,会爆发什么”  ,并用执行效果磨练自己是否真的明确了这个天下  。

问题在于  ,现有自动天生蹊径普遍陷入三重困局:剧本式事情流、知识界线关闭、体现笼罩简单  。许多要领仍沿用牢靠的 “天生 — 修复” 剧本  ,并以剖析 / 规则匹配 / 牢靠检查集等静态校验为主:它们或许能修语法与名堂  ,却经常抓不住只有在交互执行中才袒露的行为级过失(例如状态更新纷歧致、目的不可达、奖励机制失效)  。与此同时  ,当使命规格迷糊、缺失要害规则或配景知识时  ,系统缺少自动检索与补全机制  ,只能依赖模子影象 “猜”  。更要害的是  ,既有研究往往只笼罩一种天下模子体现(只做 PDDL  ,或只做可执行代码)  ,导致统一使命难以在差别符号表达之间共享验证闭环与刷新履历  ,限制了要领的通用性与可扩展性  。

为攻克这一难题  ,研究团队提出 Agent2World:一个工具增强(tool-augmented)的多智能体框架  ,用 “知识合成(Knowledge Synthesis)→ 天下模子实现(World Model Generation)→ 评估驱动精炼(Evaluation-Driven Refinement)” 的三阶段闭环  ,把 “查资料补规格 + 写实现 + 交互测试纠错” 内化为可复用的天生范式  ,从而稳固产出高可执行、可验证的符号天下模子  。

实验效果显示  ,Agent2World 在 Text2World (PDDL)、CWMB (MuJoCo) 和 ByteSized32 (文本游戏) 三大基准上均实现了 SOTA 性能  。更要害的是  ,该框架展现了可一连刷新潜力:基于 Agent2World 天生的高质量轨迹举行微调(SFT)后  ,模子性能显著跃升 —— 与训练前的统一模子相比  ,平均相对性能提升了 30.95%  ,有力证实晰其作为高质量天下模子数据合成引擎的工程与研究价值  。

论文地点: https://arxiv.org/abs/2512.22336项目地点: https://agent2world.github.io/模子地点: https://huggingface.co/agent2world/llama3.1_8b_instruct_full_sft_v1_3_epoch代码地点: https://github.com/DeepExperience/agent2world

一、深层归因:为何古板 “剧本式” 天生难以为继?

在 Agent2World 之前  ,自动天生天下模子的主流计划常接纳牢靠的 “底稿 — 修复(Draft-Repair)” 剧本:天生代码 → 跑错 → 看报错改代码  。它能修语法  ,但很难包管 "跑起来" 的天下是对的  。

被动剧本的死循环: 缺乏前瞻性妄想  ,重大使命里常陷入 “改一个 bug 引出新 bug” 的低效迭代  。规格缺口带来的幻觉: 形貌不完整时  ,模子往往只能靠影象 "猜" 规则界线、接口细节与隐含条件  ,导致看似能跑、实则不自洽  。体现笼罩简单的 "符号孤岛": 既有研究往往只笼罩一种天下模子体现 —— 要么偏向 PDDL 的形式化妄想  ,要么偏向可执行情形代码  。两条蹊径各自为战  ,天生、验证与修复履历难以跨体现共享与迁徙  ,统一问题在差别符号表达下往往需要重做一套流程  ,最终限制了要领的通用性与可扩展性  。

归根结底  ,难点不但是 “写出代码”  ,而是要在真实约束下稳固产出可执行、可复现、可迭代的天下模子;而 “剧本式流程 + 简单体现笼罩” 的组合  ,正是阻碍这一目的的焦点瓶颈之一  。

二、要领拆解:把 "软件开发团队" 装进模子里

Agent2World 的焦点不是 "多拉几个 agent 谈天"  ,而是把天下模子天生拆成软件工程式三阶段:Researcher 补规格、Developer 做实现、Testing Team 用单测 + 仿真交互做行为级验收  ,并把验收反响反哺修复  。

1. Deep Researcher:自动突破知识壁垒

现实使命往往信息不完整:目的相对清晰  ,但规则界线、参数规模、行动约束与接口细节并不完整  ,在不确定性与知识缺口的叠加下  ,极易导致事实性过失与幻觉  。Deep Researcher 首先将使命形貌剖析并拆成一组待澄清问题(例如:允许的行动荟萃、状态变量界说、终止条件、异常情形与界线输入等)  ,它配备了网络搜索和检索工具  ,能够迭代地从互联网检索构建天下模子所需的知识  ,并最终输出一个结构化的中心体现  ,其中缺失的信息已获得增补  。

2. Model Developer:统一跨模态表达

在获得补全后的规格后  ,Model Developer 认真天生目的天下模子(例如 PDDL 域 / 问题  ,或可执行的情形代码)  。这一阶段不以 “写得像” 为目的  ,而以 “能执行、接口连通、与规格一致” 为硬约束  。

因此 Developer 会在受控沙盒中举行基础运行检查与增量修复:一方面包管文件组织、函数署名、依赖与挪用链准确;另一方面确保状态转移、行动前置条件与效果、终止判断等焦点逻辑与规格对齐  。该阶段的输出是一个可以被执行器 / 妄想器直接挪用的情形实例  。

3. Testing Team:双重防地杜绝幻觉

这是框架中的要害组成部分  。差别于以往依赖静态验证器的要领  ,Testing Team 引入了动态的、行为级的双重验证机制  ,专门捕获只有在交互中才会袒露的逻辑过失  。

Unit Tester:它自动剖析代码结构  ,天生 Pytest 气概的单位测试用例  。重点验证接口左券(Contract)、谓词逻辑和稳固式(Invariants)  。例如  ,检查 step () 函数返回的状态维度是否与界说一致  ,或 PDDL 中的行动前置条件是否完整  。Simulation Tester:这是一个基于 ReAct 框架的智能体  ,以交互方法在情形中收罗轨迹并诊断深层的问题  ,如动力学过失 —— 例如 “机械人执行了移动行动但坐标未更新”、“奖励函数在抵达目的后未准确触发” 或 “状态转移违反物理知识”  。

一旦发明问题  ,Testing Team 会输出包括过失剖析(Analysis)和修复建议(Suggest Fix)的结构化报告  ,驱动 Developer 举行针对性修复  ,直到通过所有测试或抵达收敛条件  。

进阶:从推理到训练  ,构建 "自进化" 的数据飞轮

Agent2World 的价值远不止于一个推理框架  ,它实质上是一个全自动的高质量数据合成引擎  。研究团队通过 “使命合成 — 轨迹筛选 — 履历蒸馏” 的严密流程  ,将多智能体协作中的有用修复战略蒸馏为单体模子的天生与修复偏好  。

数据合成:验证器指导的拒绝采样  ,为了阻止数据泄露并提升泛化性  ,团队并未直接使用测试集问题  ,而是自主合成(Self-Synthesized)了大宗涵盖差别领域的全新使命  。在此基础上  ,系统使用 “验证器指导的拒绝采样(Verifier-Guided Rejection Sampling)” 机制  ,从海量天生效果中筛选出 1526 条既通过沙盒运行、又通过双重测试校验的轨迹  。这套数据集完整纪录了 Developer 从过失代码到修复乐成的高密度轨迹  ,为模子提供了极高价值的逻辑纠错样本  。监视微调:在训练阶段  ,团队精准提取 Model Developer 的交互轨迹对 Llama-3.1-8B-Instruct 举行监视微调  。训练的焦点目的并非让模子纯粹模拟多智能体对话  ,而是让其学习 Developer “怎样明确模糊规格” 以及 “怎样凭证 Testing Team 的报错修复代码”  。通过这种方法  ,单体模子乐成 “继续” 了多智能系一切中 “凭证反响迭代(Iterative Refinement)” 的能力  。

三、实验验证:横扫三大基准  ,验证 "数据飞轮" 效应

Agent2World 在 Text2World(PDDL)/ CWMB(MuJoCo 可执行模拟器)/ ByteSized32(文本游戏情形)三大基准上都拿到领先体现  。

1. Text2World (PDDL):

从 “能跑” 到 “懂逻辑” 的显著提升  。以 GPT-4.1-mini 为底座  ,在权衡 PDDL 代码天生的基准中  ,Agent2World Multi 显着降低了代码 “跑欠亨” 的失败率  ,实现了 93.1% 的代码可执行率(Executability)  ,相比强基线 Text2World ($EC=3$) 提升了 14.9 个百分点  。更主要的是  ,它在权衡语义准确性的 Component-wise F1 指标上抵达了 75.4(基线仅为 60.1)  ,提升幅度达 15.3 分  。这批注模子不再只是机械地模拟 PDDL 语法  ,而是越创造确了谓词约束与逻辑门控  ,天生了既切合语法又具备可解性的高质量妄想域  。

2. CWMB (MuJoCo)

不但展望得准  ,更要 “好用”  。CWMB 同时评估 “仿真代码是否能展望动力学”(Accuracy)与 “作为天下模子能否支持下游妄想 / 控制”(Overall Normalized Return, R)  。 在 GPT-4o-mini 上  ,Agent2World Multi 的 Overall R 抵达 0.4811  ,相比此前最强基线 GIF-MCTS 的 0.3488 提升了 +0.132;并且在离散行动空间的展望准确率上与强基线持平(0.917 vs 0.914)  。这说明  ,性能的提升并非来自纯粹的下一帧展望相似度  ,而是源于模子实现了 “可用于妄想的行为级一致性”  ,真正支持起了下游控制使命  。

3. ByteSized32 (Text Games)

知识推理与物理现实的高度一致性  。在极端依赖知识推理的文本游戏中  ,Deep Researcher 的自动知识检索施展了很大的作用  。Agent2World Multi 在焦点指标 “物理现实对齐度(Physical Reality Alignment)” 上取得了 0.4768 的高分  ,相比单智能体版本(Single Agent)大幅提升了 0.2848  。 别的  ,在手艺有用性(Technical Validity)上  ,模子天生的游戏代码初始化乐成率靠近 99%  。这些数据批注  ,通过引入外部知识与多轮测试  ,模子乐成消除了大宗违反知识的 “物理幻觉”(如过失的状态转移或不对逻辑的物品交互)  ,天生了逻辑严密且更稳固的文本情形  。

4. 模子微调实验

基于自主合成的高质量轨迹数据(训练仅使用 Model Developer 轨迹)  ,团队对 Llama-3.1-8b-instruct 举行了监视微调  。实验批注  ,这种 “以 Agent 养 Model” 的战略带来了显著的泛化能力提升:微调后的模子在未见过的测试使命(Unseen Tasks)上  ,平均相对性能提升了 30.95%  。特殊是在 Text2World 使命中  ,模子天生的代码可执行率(Executability)提升高达 16.9%  。这有力证实晰  ,无需依赖腾贵的超大模子  ,仅凭小参数模子配合优质的 “自我修正” 合成数据  ,也能实现向高性能天下模子构建者的跨越  。

5. 消融实验

缺一不可的双引擎(基于 CWMB 验证) 为了探讨 Agent2World 卓越性能的泉源  ,团队在 CWMB(物理控制) 使命上举行了严苛的组件消融实验  。效果证实  ,Deep Researcher 与 Testing Team 均是构建高可靠天下模子不可或缺的组件:

移除 Deep Researcher(知识引擎缺失): 模子天生的模拟器在整体归一化回报(Overall Normalized Return, R)上泛起显著下滑  。这批注  ,在缺乏对物理参数与 API 规范的自动检索时  ,模子界说的情形规则会泛起 “失真”  ,导致下游 Agent 无法在模拟中学习到在真真相形中有用的战略  。但当移除unit tester后  ,在离散行动空间的展望准确率显著下降约 30%  。移除simulation tester  ,也会同比下降约3%  。这展现了一个要害发明:“能运行” 不即是 “物理准确”  。没有动态交互爆发的行为级反响  ,模子很难在该设置下修正深层的动力学过失(如重力模拟误差)  ,天生的模拟器也因此失去了适用价值  。

四、结语:开启 AI 自主明确情形的新可能

Agent2World 的提出  ,标记着统一多智能体框架在符号天下模子天生领域的乐成应用  。它不但突破了 PDDL 妄想与可执行代码之间的表征壁垒  ,更通过 "网络知识合成 - 迭代式模子开发 - 评估驱动仿真测试" 的细密闭环  ,在无需人工标注与人工验收的条件下  ,实现自动化的天生 — 测试 — 修复闭环  ,从而稳固产出可执行、可复现、可迭代的符号天下模子  。这一突破不但在三大基准测试中一致性地刷新了 SOTA  ,更为未来 AI 系统从自然语言中可靠地明确并形式化重大的现真相形  ,开发了全新的可能性  。

??时势1:美女扒开胸罩秘 露出奶头免费看

??02月05日,华北黄淮等地将有强降雨 江淮及以南大部地区高温持续,

  “子陵住手  ,不可危险毅儿  ,其他都好说!”亦有宗老这样喝道  。

,妓女影院AV网站在线观看  。

??02月05日,上海虹桥边检开启“绿色通道” 协助台胞紧急就医,  5月中旬  ,《向阳三里屯北京星远福源电力装备装置有限公司“1·18”一样平常坍塌事故视察报告》宣布  。报告指出  ,2024年1月18日  ,北京地铁3号线一标工体北路电力改移工程施工现场爆发一起坍塌事故  ,1名工人因沙土掩埋致机械性窒息殒命  。视察组认定  ,该起事故是一因由施工职员违章作业  ,事发单位清静治理不力造成的生产清静责任事故  。,十八禁啪啪视频,日本 在线 a,欧美日韩不卡区  。

??时势2:国产黃片曰版很爽免费视频

??02月05日,传承弘扬“两路”精神暨交通变迁与青藏高原现代化研讨会在蓉举行,

  “似乎没什么危险  ,但这只生灵有点离奇  ,紫云降低一点  ,近距离看一看  。”小石昊说道  。

,中文字幕熟女人妻偷伦,xv安装包永久免费,欧美视频岛国86色  。

??02月05日,南光集团举办庆祝成立75周年酒会,

  狂风暴雨来袭时  ,小草就像是在为大地而歌  ,为天空而舞  。狂风显然是来者不善  ,它还痴心妄想将草儿连根拔起  。着实纤身细腰的小草早已在这场生死屠杀前备战已久;由于它时刻切记着大地交给它的绿色使命  。小草迎着风雨  ,忽而仰面挺胸  ,忽而摇摇晃摆  ,有如醉酒欢歌  ,随即大地上奏演了一场“劲草斗疾风”的赞歌  ?穹绫┯晖瞬蕉  ,心悦诚服  。雨后彩虹焕发七彩光线把小草身上的“珍珠”折射得越发璀璨……

,国产AV综合AⅤ国产精品,亚洲色图人妻,国产羞羞一区免费看  。

??时势3:中文字幕精品在线区

??02月05日,沪苏湖高铁开始静态验收,

  它们一边大战一边移动  ,向着远方而去  ,战场越发众多了  ,波及越来越广  ,苍莽山脉数以千里都快容不下他们了  。

,在线免费精品,桃屋猫漫画之三国黄月英,www.人人搞人人操  。

??02月05日,专家:泡脚水温过高会影响睡眠,时间以15分钟到30分钟为宜,  李鹏新严重违反党的政治纪律、组织纪律、清廉纪律和生涯纪律  ,组成严重职务违法并涉嫌受贿犯法  ,且在党的十八大后不收敛、不收手  ,性子严重  ,影响卑劣  ,应予严肃处置惩罚  。依据《中国共产党纪律处分条例》《中华人民共和国监察法》《中华人民共和国公职职员政务处分法》等有关划定  ,经中央纪委常委会聚会研究并报中共中央批准  ,决议给予李鹏新开除党籍处分;由国家监委给予其开除公职处分;收缴其违纪违法所得;将其涉嫌犯法问题移送审查机关依法审查起诉  ,所涉财物一并移送  。,免费人成网站视频,千仞雪本子,关于超逼的视频  。

??时势4:日韩美女激情A片免费视频99

??02月05日,湖北广东警方成功找回王浩文系列拐卖案4名被拐儿童,

  “那可是一头金色的朱厌  ,说未必能帮上小不点大忙  。”

,教练撕掉胸罩揉吮奶头视频,原神火影忍者二创黄色色情内射强奸做爱,十八禁的黄色网站  。

??02月05日,天津市法规规章规范性文件数据库上线 五大系统全覆盖,

  同砚们  ,我们周围清静隐患许多  ,但通过普及清静知识  ,可以有用提高自我;つ芰  ,确保生命清静  。只要头脑重视并具备一定的知识和响应的步伐  ,许多意外危险事故都可以阻止  。要害是我们要警钟长鸣  ,一直强化清静意识;同时要步伐到位  ,消除清静隐患  。

,无码秘 人妻一区二区三-百度,看黄片永久免费,欧美日韩视频H老  。

责编:张美凤

审核:耿静

责编:邵柏英

相关推荐 换一换

Copyright (C) 2001-   dzwww.com. All Rights Reserved

新闻信息效劳允许证 - 音像制品出书允许证 - 广播电视节目制作谋划允许证 - 网络视听允许证 - 网络文化谋划允许证

山东省互联网传媒集团主理  联系电话:0531-85193202  违法不良信息举报电话:0531-85196540

鲁ICP备09023866号-1   鲁公网安备 37010202000111号  

Copyright (C) 2001- Dzwww   鲁ICP备09023866号-1

网站地图