寻脉SEEKPULSE
发现热榜需求广场技术讨论工具箱信源
AI 与各行业落地的前沿信号

寻行业之脉
接真实之需

每日自动追踪全球权威信源,模型生成中文摘要与有效期判断,人工抽检把关。 不追热点,只留经得起推敲的那一部分。

249
累计条目
0
今日新增
12
权威信源
采集中每日 02:00 · UTC+8
L1 摘要
全量
L2 深度
0
人工抽检
每日

按领域浏览

AI 与可被 AI 赋能的行业方向,每个领域独立成脉

筛选结果

共 1 条符合条件

清除筛选
当前筛选#temporal-logic×
大模型arXiv cs.AI4 天前

Temporal Specification Guidance for Text-to-Video Generation

该论文提出时序规范引导(TSG),将文本到视频生成中的顺序、时序与持续要求形式化为时序逻辑规范,在推理阶段无需训练即可将规范转化为可微目标,通过视频-文本注意力轨迹的梯度构造去噪方向,增强CFG。在220条提示上,五个模型的规范满足准确率提升9.5-20个百分点,内存开销极小。