视频指令机器人编程

跨域演示到代码：基于神经符号反事实推理的方法

Cross-Domain Demo-to-Code via Neurosymbolic Counterfactual Reasoning

把视频演示抽象为符号轨迹、再用反事实状态搜索做可验证的程序修订，这一「感知→符号→可验证改写」的管线可迁移到视觉演示学习与跨域操作策略生成中，为 VLM 驱动的机器人编程提供可验证的中间表示。