arXiv · 第 4 页

查看来源为 arXiv 的资讯与动态，保留原文入口和发布时间。

全部资讯

全部内容

共 190 篇

arXiv 开发动态11-04
研究建模 AI 服务冷启动定价
把用户使用体验和供应商服务成本放进同一动态模型。
arXiv 开发动态11-04
研究让 AI 把逻辑题交给精确求解器
模型负责翻译自然语言约束，符号算法负责求解与反馈。
arXiv 开发动态11-04
多语言视觉基准揭示英语偏好
同样的图片细节，模型在低资源语言中更容易判断失误。
arXiv 开发动态11-04
研究用多语言词典控制模型语气
低资源语言可能更适合多语种引导，直接套用英语信号会失真。
arXiv 开发动态11-04
Muon 预训练优势未必延续到微调
研究发现，训练数据规模会改变 Muon 与 AdamW 的后续表现。
arXiv 开发动态11-04
NorthCUA 用执行经验训练电脑助手
保留已验证的中间成果，让失败后的重试不必从头开始。
arXiv 开发动态11-04
OLGA 减少语言模型持续学习遗忘
用合成梯度匹配保留旧任务信息，避免完全依赖标注回放。
arXiv 开发动态11-04
PhotoGuider 先选构图，再裁切照片
同一套视觉特征用于普通图片和全景取景，并解释选择理由。
arXiv 开发动态11-04
R²-Omni 压缩长回答的音视频缓存
先合并重复信息，再按语义敏感程度分配精度。
arXiv 开发动态11-04
研究追溯 AI 科研能力与训练数据
材料和基因组实验关注只出现一次的信息如何影响新发现。
arXiv 开发动态11-04
Reviso 让视频描述先找重点
先粗看全片，再回访关键片段，减少细节很多却漏掉主线的问题。
arXiv 开发动态11-04
AI 学会推理后，换道题仍可能失效
受控实验发现，模型面对更难分布时会退回低效枚举。
arXiv 开发动态11-04
SQLoom 用约束训练自然语言查库
同时检查 SQL 语法、问题含义及子句之间的逻辑关系。
arXiv 开发动态11-04
TAMPAgent 结合规划器操作机器人
在看不全环境时先形成部分计划，再依据新观测继续执行。
arXiv 开发动态11-04
代码变了，AI 怎样修复过期测试
500 个真实 Java 案例显示，失败信息和代码变化需要一起提供。
arXiv 开发动态11-04
开放模型也能接入机器人操作框架
uni-robot-agent 统一工具与执行环境，减少对封闭模型的依赖。
arXiv 开发动态11-04
VeriHarm 同时检查代码完成与副作用
任务做对了，也可能伴随未授权的数据或系统操作。
arXiv 开发动态11-04
VIAS 探索按组织要求引导模型
通过激活干预调整不同价值维度，减少统一指令之间的冲突。
arXiv 开发动态11-04
Wave Forcing 加速连续视频生成
把去噪和缓存刷新组织为流水线，减少串行等待。
arXiv 开发动态11-04
ZO-BOLT 为低内存训练控制噪声
研究指出，两次差分评估是否使用匹配数据会改变优化可靠性。
arXiv 开发动态11-03
JustGoal 让 AI 自行优化 GPU 算子
10 月 27 日发布的 JustGoal 论文测试了一种更简单的算子优化方式：只向通用智能体提供优化目标和约束，让它自己编写算子、建立评测循环并持续调整，不预设专门的算子知识库或工作流。
arXiv 开发动态11-03
AWM 用数学证明判断游戏目标能否实现
Algebraic World Model（AWM）研究尝试让 AI 从陌生环境中学出可检查的数学规则：先探索并编写 Python 假设，再依据观测修正规则，最终转换为 Lean 4 形式化模型，证明目标可达或不可达。
arXiv 开发动态11-03
JEPA 研究检验不同模型的共同表征
一篇 JEPA 研究预印本探讨：独立训练的文本与视觉模型，是否会学到可以对应的世界表征。作者给出带有明确条件的数学结果，并通过多种规模的数据实验检验表征对齐。
arXiv 开发动态11-03
OpenPerov 用论文证据辅助太阳能电池设计
研究团队在 arXiv 发布 OpenPerov 预印本，尝试把文献证据和专家推理结合，用于钙钛矿太阳能电池的设计与优化。团队整理了来自 4,532 篇论文的证据，并建立包含 800 道问题的 PSMBench 评测。