论文元数据 作者Shuyuan Hu、Tao Lin、Kai Ye、Tianwei Zhang机构机构尚未补齐发布日期精度日研究方向LLM+形式化时序逻辑规划(DEXTER-LLM/LTL 系)vs 纯 LLM 代码生成机器人Elfin-3 + UR5 异构双臂(真实世界交接实验)、自定义多机仿真(2–4 square/line 动态环境)DOI未披露arXiv2602.09472引用元数据0记录状态included质量检查无自动质量红旗