论文记录 · 证据边界公开

EvoPlan: Evolutionary Neuro-Symbolic Robot Planning with Spatio-Temporal Guarantees

arXiv technical report · 2026-07-07 · verifiable VLA open vocabulary navigation and neuro symbolic robot planning

论文元数据

作者: Bhavya Sai Nukapotula、Samin Moosavi、Haoze Wang、Luke Duncan、Diya Shakkottai、Varun Murali、Srinivas Shakkottai
机构: 机构尚未补齐
发布日期精度: 日
研究方向: verifiable VLA open vocabulary navigation and neuro symbolic robot planning
机器人: ALFWorld Text simulated agent、Bench2Drive simulated vehicle、HA-VLN-CE simulated agent、simulated Clearpath Jackal
DOI: 未披露
arXiv: 2607.06724
引用元数据: 0
记录状态: included
质量检查: 无自动质量红旗

工程资源状态

代码: 未核验
权重: 未核验
数据: 未核验
许可证: 未核验

当前实践优先级

观察 · 61/100 · 0–6 个月

路线标签：近期热门、神经符号规划技术2.0·跨域颠覆性分支·可能成为新主流·仿真证据

社区证据类型：尚无独立社区验证

同一全局STL约束挖掘与进化PDDL验证链横跨自动驾驶、社交导航、开放世界任务规划和ROS 2执行监控，且公开token/安全收益与失败；没有代码、计算规格或真机。

近期窗口 · 35/35
发布距评分基准日 0 个月，落入 0–6 个月窗口。
社区可复查验证 · 2/25
论文完整表格、伪代码和失败任务可查；引用的OpenEvolve是外部依赖，不是EvoPlan复现包。
跨领域技术创新 · 20/20
把示范到STL、反事实负例、VLM安全盾、LLM-PDDL进化搜索、Nav2轨迹校验与在线重规划统一。
量化实机证据 · 0/10
Bench2Drive、HA-VLN-CE、ALFWorld和Gazebo Jackal均为仿真。
开放与可复现 · 0/5
无EvoPlan代码、提示词、PDDL域、STL挖掘脚本、模型修订、依赖锁或许可证。
工程实用增量 · 4/5
程序验证器和运行时约束能比纯LLM计划提供可定位的失败边界，但32B/120B本地部署成本与延迟未披露。

社区可复查证据：尚未收录；Stars、forks 与作者演示不计社区验证。

证据缺口：缺少显式可复查社区复现/部署证据；开放与复现条件不足；量化实机证据不足；全仿真且Gazebo每任务仅一次；ALFWorld使用真值oracle；无本地模型硬件和延迟；无官方实现与许可证；无独立复现

当前实践分只决定今天的阅读与最小验证优先级；近期、社区验证和跨领域创新合计 80/100，不会把前沿观察条目自动升级成候选或确认里程碑。社区维度只有显式独立证据才能得高分，只有失败记录时必须标为社区反证。

每日候选人工终审

EvoPlan把示范中挖掘的全局STL移动约束、LLM提议/程序验证的进化PDDL规划器和ROS 2执行前轨迹检查串成一条神经符号闭环。它跨nuPlan、SCAND、Bench2Drive、HA-VLN-CE、ALFWorld和Gazebo给出量化结果，尤其公开了安全收益、LLM token成本和失败任务，具有跨自动驾驶、社交导航与任务规划的近期创新价值。但所有机器人结果都是仿真，五个Gazebo任务各只跑一次；所谓本地开放权重模型只说明Qwen3-32B/gpt-oss-120b可本地托管，论文未披露GPU、延迟、代码、模型配置或可运行部署包。

实机证据：simulation_only_multi_benchmark_and_gazebo；nuPlan约束用于Bench2Drive时，未屏蔽Driving Score为62.96、14次碰撞/20次违规；alpha=0.30屏蔽后为66.20、4次碰撞/6次违规。SCAND约束零样本迁移到HA-VLN-CE的1,839个配对episode：PointNav碰撞终止率38.1%降到18.5%，成功率58.7%变57.6%；MLP为30.1%降到5.2%，成功率32.1%变32.7%。开放世界ALFWorld 134题中Qwen3-32B在对齐/词汇错配版本均98.5%，但token为853,022/1,055,341，高于NL-PDDL的443,407/501,049。Gazebo Jackal仅5个任务各1次，4/5无碰撞，M4发生碰撞并达到0.05 m最小间距；没有物理机器人。

硬件/本体：Gazebo simulated Jackal、Bench2Drive、HA-VLN-CE、ALFWorld Text

红旗与边界：所有机器人、驾驶和导航结果均为仿真，没有物理机器人验证；Gazebo五个任务每任务只有一次，无法估计稳定性或置信区间；ALFWorld提供真值感知和affordance oracle，不能代表开放世界真机感知；论文表中的多项基线数值来自既有NL-PDDL论文，不是统一仓库同环境重跑；Qwen3-32B和gpt-oss-120b虽为开放权重模型，但本地硬件、显存、延迟和能耗未披露；没有官方代码、配置、提示词、模型修订、日志、数据处理管线或制品许可证；全局STL约束受示范质量、语法表达力、感知不确定性和提议模型影响；无独立复现

code · 状态 no_official_evoplan_repository_or_release_found · 许可证 No EvoPlan code, configuration, mined constraint, prompt, log, model bundle or artifact license is disclosed
论文仅引用外部OpenEvolve仓库和公共数据/基准，没有EvoPlan官方仓库。实现涉及Qwen3-32B或gpt-oss-120b、OpenEvolve、VAL/PDDL、ROS 2、Nav2、Gazebo及多个数据集，但未披露GPU/显存、推理延迟、依赖版本、提示词、PDDL域、17谓词挖掘脚本、权重修订或容器。

论文入库不等于代码、权重或数据开放；“承诺开放”“声称开放”和“已核验可下载”严格分开。

原始来源

最近核验：2026-07-22。链接存在不等于官方仓库、可运行、已开放权重/数据或许可证允许使用。