goalkeeper
PulseAugur coverage of goalkeeper — every cluster mentioning goalkeeper across labs, papers, and developer communities, ranked by signal.
1 天有情绪数据
-
TRG新方法提升视频语言模型训练准确性
研究人员开发了一种名为时间响应引导（TRG）的新方法，以改进视频语言模型的训练。TRG通过利用学生模型的时序响应来指导教师监督，从而增强了on-policy蒸馏，旨在更好地捕捉时序学习。该方法包括测量模型对局部时序扰动的表示响应，并调整教师的校正。当应用于一个40亿参数的学生模型时，与标准的仅输出蒸馏相比，TRG在TempCompass和Video-MMMU等基准测试中将宏观准确率提高了2.86个百分点。
-
Double Fine 独立运营，启动游戏创作活动众筹
独立游戏开发商 Double Fine Productions 近日已从微软独立出来，并成功发起了一项 Kickstarter 众筹活动。该活动旨在为一场游戏创作活动提供资金，参与者可以对游戏创意进行投票，获胜的创意有可能被开发成完整游戏。此外，Double Fine 还将其游戏 Keeper 推向了 PlayStation 5，并降低了 Kiln 的价格。与此同时，发行商 Aggro Crab 通过其资助模式支持其他开发商，强调对风…
-
新的蒸馏方法提升大语言模型训练效率
研究人员开发了新的在线蒸馏（OPD）方法来改进语言模型的训练。其中一种方法，教师门控在线蒸馏（TGOPD），在应用监督之前，在提示级别验证教师的可靠性，在各种领域和规模上均优于普通OPD。另一种方法将离线教师优化与在线学生蒸馏相结合，显示出显著的收益，尤其是在分布变化下，并取得了与更大模型相媲美的性能。
-
新的证明器GK为一阶证明搜索增加了结构保持不确定性
一篇新论文介绍了一个名为GK的查询导向型一阶证明器，它通过显式声明、数值置信度和优先默认规则来增强证明搜索。该框架现在结合了结构保持的定量报告，利用保留的证明历史来重建不确定的地面前提并计算概率。该系统区分了正面支持、负面支持、冲突和无知，同时还识别不完整的计算或后备方案。
-
新的“法官”代理模式旨在防止编码AI交付不完整代码
自主编码代理在自动化检查通过时常常过早地宣布胜利，即使这些检查不足。这可能导致存根或不完整的实现被交付。为解决此问题，提出了一种模式，其中一个独立的“法官”代理充当最终的守门人。这位法官在新的上下文中运行，根据明确的完成定义审查代码，防止执行代理为之前忽略的问题辩解。