从瞬态提示到持久控制：通过递归语义-几何契约生成科学海报

科学海报生成将多模态论文提炼为单页视觉作品，在固定的空间预算下，迫使人们在信息覆盖范围与可读性之间进行严格权衡。现有方法将计划作为瞬态提示传递，并孤立地验证各个阶段。这种策略会导致需求在内容模块与布局模块之间逐渐偏移，且先前的检查可能被静默地失效。我们提出 PosterVisor，一种将海报生成从瞬态提示转向持久控制的控制框架。Orchestrator 以论文和视觉资产为依据落实评估标准，并将其编译为语义-几何契约（Semantic-Geometric Contract，SGC），把论断和来源绑定到所需的视觉元素、预算与空间承诺上。只有完全实例化的记录才会成为可执行断言；其他可用需求则保留为软性指导。递归契约执行（Recursive Contract Enforcement，RCE）会随着证据的出现，在各个阶段动态触发检查。尤为重要的是，在修复过程中，RCE 会重新检查受影响的检查点状态，从而防止由修复引起的回归被静默传播。我们在 HTML/CSS 和可编辑 PPTX 生成器中实现了 PosterVisor。在包含 100 篇论文的 Paper2Poster 基准测试中，与 PosterGen 相比，PosterVisor-PPT 提高了观测到的平均海报依据问答准确率（64.47% 对 58.53%）；在人类评审者进行的无平局两两比较中，PosterVisor-PPT 在 72.5% 的比较中更受偏好（95% 置信区间：61.6%–83.4%）。另一项包含 30 篇论文的研究也取得了更高的 VLM Overall 和 PaperQuiz 均值。这些结果支持采用由评估标准编译而成的契约，以及面向阶段的执行机制，以实现可控的海报合成。