ReuF2F: 在形式化本科生研究问题上对编程代理进行基准测试
arXiv:2610.27046v1 通告类型: new 摘要: 随着AI系统开始解决开放研究问题,可靠验证变得越来越重要。形式化数学为数学推理提供了可信框架,使代理能够生成机器可验证的…
All published intelligence, sovereign stack research, ecosystem news, and AI foundation model reviews.
arXiv:2610.27046v1 通告类型: new 摘要: 随着AI系统开始解决开放研究问题,可靠验证变得越来越重要。形式化数学为数学推理提供了可信框架,使代理能够生成机器可验证的…
arXiv:2610.26941v1 发布类型:new 摘要:大语言模型(LLM)使智能体能够超越预定义工作流,走向自主规划和执行,为智能制造创造新机遇。然而,动态环境、复杂物理…
arXiv:2610.27159v1 通告类型: 新 摘要: 电动汽车(EV)公共充电给配电馈线增加了大量同步负载。在大多数网络中,同时过载馈线的情况很少见。一旦发生,后果可能很严重:一…
arXiv:2610.27156v1 Announce Type: new Abstract: Object: Motion artefacts remain a major limitation of routine two-dimensional T2-weighted turbo spin-echo (TSE) brain MRI, reducing diagnostic confidence and often necessitating repeated acquisitions. MoSAIK (Motion Search with AI…
arXiv:2610.27203v1 发布类型: new 摘要: 类增量学习(CIL)使模型能够随时间识别新类别同时保留先验知识,但许多现实问题是组合式的,视觉概念源自基元组合,例如…
arXiv:2610.26899v1 发布类型: 新 摘要: 由于全球人口快速增长, 传统建筑方法逐渐无法满足当前的住房需求. 机器学习算法的进步鼓励研究人员探索其…
arXiv:2610.27115v1 公告类型:新 摘要:LLM 代理通过工具和第三方技能作用于外部世界,因此单个执行的操作可能会造成不可逆转的伤害。现有的防御措施判断拟议的行动,而不跟踪其内容是否来自用户......
arXiv:2610.27220v1 公告类型:new 摘要:近期工作探索了在思维链推理过程中用连续表示代替离散token,通常称为软CoT。这源于这样一个想法:token嵌入的混合可以表示...
arXiv:2610.27120v1 通告类型: 新 摘要: 多模态问答(MMQA)基于整合异构数据源、选择性利用相关模态并忽略干扰项。基于多模态大语言模型(MLLM)的现有方法…
arXiv:2610.26904v1 发布类型: new 摘要: 近期研究提出了带可验证奖励的强化学习(RLVR)方法,使LLM能从自然语言规范生成高质量RTL电路。现有方法优化电路PPA…
arXiv:2610.24298v1 公告类型:新 摘要:多智能体LLM系统在通过工具行动前交换消息,但消息传递、签名权限和工具端强制执行是独立的信任边界。我们将它们表示为通信、授权和…
arXiv:2610.24268v1 Announce Type: new Abstract: Form 10-Q MD&A sections combine long-form management narrative with accounting and forward-looking information. Benchmarks for financial filings commonly evaluate question answering or numerical reasoning, leaving unclear whether…
arXiv:2610.24266v1 通告类型:新 摘要:不完整的移动轨迹可能会掩盖识别重要出行事件及其端点所需的观测数据。本研究评估紧凑型、本地部署的大语言模型(LLM)能否恢复缺失…
arXiv:2610.24287v1 公告类型: new 摘要: 增强搜索的语言模型越来越多地作为长期研究代理,但大多数开放训练方法假设用户目标在整个搜索过程中保持固定。我们研究中途响应引导,即用户在…期间重定向模型
arXiv:2610.24229v1 发布类型: 新 摘要: 可验证奖励强化学习(RLVR)已成为训练推理模型的主流范式,但其计算成本使得高效数据选择日益重要。由于训练示例…
arXiv:2610.24133v1 通告类型:新 摘要:我们询问自回归Transformer在生成$t$个token后保留了多少提示词信息。考虑两个不同的提示词后跟相同的续写文本,因此它们隐藏状态中的任何差异都源自...
arXiv:2610.24090v1 公告类型: 新 摘要: 来自先前尝试积累的持久记忆是否有助于LLM代理解决新问题,记忆设计是否影响这种益处?我们研究了跨五种代理条件的程序化汉字绘制...
arXiv:2610.24107v1 公告类型: 新 摘要: Context-to-LoRA 方法将文档编码为低秩参数更新, 允许语言模型在解码语境中不保留源文本的情况下回答问题。这些更新在多大程度上可靠地保留事实并支持它们……
arXiv:2610.24255v1 公告类型:新 摘要:编码代理将大型语言模型 (LLM) 与计划、编辑和执行代码的工具相结合。我们研究 Cortex,它是一个用于预执行治理、需求跟踪以及迭代验证和修复的监督层……
arXiv:2610.24061v1 通告类型:新 摘要:随着AI智能体团队承担更大的项目和长期存在的开放问题,智能体协作为推理时计算的扩展提供了另一个维度。为了理解是什么使这种协作有效且可扩展,我们…
arXiv:2610.24108v1 Announce Type: new Abstract: Jointly pretrained multimodal encoders are a common way to combine modalities, while alternatives integrate their information during downstream training or inference. When does each approach win? We compare three paradigms,…
arXiv:2610.24248v1 公告类型:新 摘要:Text-to-SQL系统通常假设自然语言查询与正确SQL翻译之间存在一对一映射。然而在实践中,许多查询本质上具有歧义,允许存在多个有效解释…
arXiv:2610.24024v1 发布类型: 新 摘要: 罕见病 (RDs) 据估计影响全球 3 亿人, 使患者不得不在临床资源稀缺和医学知识碎片化的限制下经历漫长的诊断历程。人工智能 (AI) 已…
arXiv:2610.24177v1 通告类型: 新 摘要: 视频生成模型是具身智能体的新兴工具: 它们可作为可扩展的视觉规划器, 生成视频描绘如何完成先前未见的任务. 然而, 执行这些计划通常需要...
arXiv:2610.24264v1 通告类型:新 摘要:随着基于LLM的代理在现实环境中以日益增强的自主性被部署,出现了一种关键失效模式:代理错位,即代理选择有害行动而非失败。然而,现有的安全基准……
arXiv:2610.24194v1 发布类型:new 摘要:使用工具的LLM代理在不确定性下反复面临决策点,在自主行动、收集额外信息和人工升级之间选择。这些决策需要在任务成功与交互之间取得平衡…
arXiv:2610.24199v1 通告类型: 新 摘要: 为小分子药物设计自动化合成规划需要既准确又开放可检查和适应的化学推理器,但前沿语言模型在预测反应结果方面仍不可靠…
arXiv:2610.24006v1 Announce Type: new Abstract: Prominent AI safety discussions emphasize existential threats and catastrophic events, such as AI-enabled nuclear conflict or engineered biological outbreaks. This position paper argues that there is another type of AI risk that…
arXiv:2610.24010v1 Announce Type: new Abstract: Generative AI is becoming an important medium for artistic creation, yet existing interactions often assume that creators can specify intentions in advance and accurately communicate them through text prompts. Artistic intentions,…
arXiv:2610.24161v1 公告类型: 新 摘要: TorchTPU是Google和Meta之间的开源合作,为Google TPU引入了原生且原则性的PyTorch后端。它实现了开箱即用的无缝模型执行和TPU迁移,同时提供…