Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式,这是一种广泛使用的方法,为法学硕士配备工具使用功能。然而,LLM 错误地调用函数可能会产生严重影响,特别是当其影响不可逆转时,例如转账或删除数据。因此,在执行函数调用之前,考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化(UQ)方法可用于量化……
Embarrassingly Simple Self-Distillation Improves Code Generation
大型语言模型 (LLM) 能否在没有验证器、教师模型或强化学习的情况下仅使用其自己的原始输出来改进代码生成?我们通过简单自蒸馏(SSD)给出肯定的答案:从具有特定温度和截断配置的模型中抽取样本解决方案,然后使用标准监督微调对这些样本进行微调。 SSD 在 LiveCodeBench v6 上将 Qwen3-30B-Instruct 从 42.4% 提高到 55.3% pass@1,收益主要集中在更难的问题上,并且它在 4B、8B 和 30B 规模的 Qwen 和 Llama 模型上进行了推广,包括......
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本,并且想了解该分布。鲍勃是一位不受信任的数据分析师,他声称已经对分布进行了复杂的数据分析,并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明(使用比自己运行分析所需的资源更少的资源)?我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成(RAG)利用外部知识增强了大型语言模型(LLM),但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中,我们提出了 CLaRa(连续潜在推理),这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量,从而减少输入生成器的文档长度,我们引入了 SCP,一种基于问答和释义的密钥保留数据合成框架......
Doubly Sub-linear Interactive Proofs of Proximity
我们研究双次线性交互式邻近证明(dsIPP):生成速度超快的证明,可用于证明有关巨大输入的近似断言。证明生成速度超快,因为它只需要读取输入的一小部分(亚线性)。证明的近似验证甚至更快(读取输入的更小部分)。与属性测试文献类似,近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入,但没有证明者可以欺骗验证者......
Personalizing Incremental Video Search with Hybrid Text and ID Embeddings
增量视频搜索需要在每次击键后进行高质量排名,而意图通常不明确(例如,1-3 个字符前缀)。我们提出了一个 Apple TV 搜索的个性化系统,该系统在排名时结合了互补的语义和协作信号。我们的方法学习两个项目嵌入空间:(i) 基于文本的多语言编码器 (TextEmb),通过对比学习对共同参与三元组进行微调;(ii) 基于 ID 的协作嵌入模型 (IdEmb),根据交互衍生的积极因素进行训练。在服务时,我们从…构建用户表示
如果函数的属性可以用函数中每个值出现的频率来表征,而不管每个值出现的位置如何,则该属性称为位置不变(或对称)。众所周知,测试函数位置不变属性的(查询)复杂性与测试相应分布(的相应属性)的(样本)复杂性密切相关。当前工作的主要信息是,这种密切关系并没有在验证的背景下维持。当考虑到......时这两者都成立
One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation
视觉生成模型(例如扩散模型)通常在压缩的潜在空间中运行,以平衡训练效率和样本质量。与此同时,人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而,由于面向理解的特征和生成友好的潜在空间之间的根本不匹配,适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏,捕捉不同的假设......
PPIC Statewide Survey: Californians and the Environment
最新调查的主要结果包括: 最有可能的选民支持泽维尔·贝塞拉而不是史蒂夫·希尔顿,并表示环境问题是他们选择州长的因素之一。大多数可能的选民认为,国家应该放松土地使用和环境限制,以增加住房供应。大多数加州人反对在他们的地区建设人工智能数据中心。
Assessment and Early Analysis of the 2026 Johor State Election Results
出版物作者: 出版日期: 2026 年 7 月 15 日概要 2026 年柔佛州选举的结果标志着选民动员的重大转变,反映出国阵的实力不断增强以及对希盟的支持减弱,这可能会破坏他们在联邦团结政府内的工作关系。评论 2026 年 7 月 11 日,柔佛州选举进行了[…]2026 年柔佛州选举结果的后评估和早期分析,首次出现在 RSIS 上。
出版物作者: 出版日期: 2026 年 7 月 14 日概要 数字生态系统和人工智能正在重塑在线激进化。虽然新加坡的整体政府方法仍然至关重要,但不断变化的威胁需要更强的社区复原力。本评论提出了社区复原力框架,该框架整合了认知、关系、道德、数字和社区复原力,以增强年轻人抵御网络极端主义影响的能力。评论 […]帖子从预防到复原力:通过社区复原力框架的全社区方法首先出现在 RSIS 上。
A better way to turn 2D designs into 3D models for rapid prototyping
研究人员开发了一个自动化框架,可以帮助 AI 模型更准确、更高效地生成 CAD 程序。
3 Questions: Neural transparency and the future of AI design
助理教授 Pat Pataranutaporn 描述了一个新界面,可以让日常用户在聊天机器人说一句话之前了解人工智能的神经网络内部情况。
Японская Terra Drone развивает сотрудничество с ОАЭ в области систем противодействия БЛА
日本公司 Terra Drone 正在扩大其在阿联酋的业务,该公司专注于不断增长的反无人机市场,在阿联酋提供无人机拦截器。
Великобритания разрабатывает для Украины дальнобойную ракету в рамках проекта Nightfall
英国国防部已与多家工业公司签订了制造国家弹道作战战术导弹 (OTR) 的合同,目标是在 2027 年向乌克兰武装部队交付该产品。
Quantum Systems поставит ДУМ Mandrill ВС Украины
德国量子系统公司7月8日宣布,已与乌克兰政府签署了一份价值数百万美元的合同,供应10辆Mandrill地面遥控车。