动态逻辑张量网络与VLM协同：神经符号视觉推理的新闭环

视觉感知与形式逻辑规则之间的断裂，被尝试放入一个动态迭代闭环中解决。新提出的框架由视觉语言模型根据少量样本提出一阶逻辑规则，交由动态逻辑张量网络在视觉特征上进行可微验证，并以反馈指导修正。在 ViSudo-PC 基准上，系统仅凭三组示例便推导出数独约束规则。