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）：生成速度超快的证明，可用于证明有关巨大输入的近似断言。证明生成速度超快，因为它只需要读取输入的一小部分（亚线性）。证明的近似验证甚至更快（读取输入的更小部分）。与属性测试文献类似，近似验证意味着亚线性时间诚实证明者可以使验证者接受属性中的每个输入，但没有证明者可以欺骗验证者......
One Layer Is Enough: Adapting Pretrained Visual Encoders for Image Generation
视觉生成模型（例如扩散模型）通常在压缩的潜在空间中运行，以平衡训练效率和样本质量。与此同时，人们对利用高质量的预训练视觉表示越来越感兴趣——无论是在 VAE 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
PPIC Statewide Survey: Californians and the Environment
最新调查的主要结果包括： 最有可能的选民支持泽维尔·贝塞拉而不是史蒂夫·希尔顿，并表示环境问题是他们选择州长的因素之一。大多数可能的选民认为，国家应该放松土地使用和环境限制，以增加住房供应。大多数加州人反对在他们的地区建设人工智能数据中心。
Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5
印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC（KVZ；俄罗斯直升机控股公司 Rostec）生产的新型 Mi-17V-5 运输和攻击直升机。
Сенат США заблокировал оборонный бюджет на сумму 1,15 трлн. долларов
美国参议院在程序性投票中否决了2027财年拨款的“巨额法案”。 1.15万亿用于国防。据《生意人报》参考《政治报》和《国会山报》报道，美元。
ОСК спустила на воду танкер «Алексей Шеин»
7月14日，在南加州大学涅夫斯基造船厂，为俄罗斯海军建造的中型海上油轮阿列克谢·谢因号下水。
Ученые ПНИПУ впервые разработали систему полной автоматизации диагностики железнодорожных мостов
铁路桥梁是俄罗斯交通基础设施中最脆弱的部分：乘客的生命和列车行车的安全取决于其技术状况。传统诊断需要停止运动并手动检查难以到达的元件。
4月底，在上届 MiningWorld Russia 2026 展会上，Polyus Aldan 金矿企业的新型自动化采样系统在“机器人和自动驾驶车辆 (ATC)”类别中亮相。该解决方案被公认为“实用进口替代”类别的获胜者，实际上减少了 70% 以上的体力劳动，将获得分析的时间减少了近三分之一。
6 月 2 日，科学与社会团队出席了由美国国家科学院院长 Marcia McNutt 在华盛顿特区发表的第三届年度科学状况演讲。她谈到了美国科学研究生态系统的现状，随后举行了由立法者、研究人员、慈善家和行业领袖参加的小组讨论。她的建议为展望科学的发展方向和检查阿斯彭研究所科学与社会项目综合平台的工作提供了有用的视角。在接下来的章节中，我们将重点介绍我们的工作如何为推进 McNutt 发现的许多机会做出贡献。《迎接 McNutt 2026 年愿景的挑战：科学与社会如何加强研究生态系统》一文首先出现在阿斯彭研究所。
What Bloomberg CityLab Taught Me About Leading Before You Have the Answers
在马德里举行的 Bloomberg CityLab 2026 大会上，我准备带领一小群与会者，但在离开时却留下了一个重要的提醒。我是 Windfall Trust 主办的题为“你会如何应对人工智能中断？”的分组会议的五位场景主持人之一。我发现自己坐在市长、市政官员旁边，[…]《彭博城市实验室教我如何在你得到答案之前领导》一文首先出现在阿斯彭研究所。
Special Report – Tested in Turmoil: ASEAN in Singapore’s Competitiveness
经过动荡的考验：东盟在新加坡的竞争力研究了在全球动荡中塑造新加坡竞争力的挑战，并提出了 12 项建议 - 涵盖劳动力、人工智能、成本和区域合作……特别报告 - 在动荡中的考验：东盟在新加坡的竞争力首先出现在新加坡国际事务研究所。
'This Is Not Off to a Good Start': Trump's 'Board of Peace,' Double-Standards, the UN, and the Kurds
库尔德人是一个勇敢的民族，曾多次与西方站在一起。这一点从佩什梅加在打击伊斯兰国的斗争中所发挥的作用中可见一斑。每当有人召唤他们时，他们都会响应。然后，每次危机过去，他们都会
Militants, Media, and the Gaza Information War
内容提要：自 6 月以来，对加沙人的审查越来越严格，他们最初被公开称为记者，但现在在哈马斯或巴勒斯坦伊斯兰圣战组织 (PIJ) 材料中被追认为是他们的指挥官或战士。据记录，使用“记者”标签作为掩护的武装分子数量目前已记录在案，武装分子、媒体和加沙信息战的帖子首先出现在詹姆斯敦。
