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 内对齐它们还是直接在生成模型内对齐它们。然而，由于面向理解的特征和生成友好的潜在空间之间的根本不匹配，适应这种表示仍然具有挑战性。表示编码器受益于高维潜伏，捕捉不同的假设......
Сухопутные войска Индонезии получили два новых вертолета Ми-17В-5
印度尼西亚陆军航空中心为其机队补充了两架由喀山直升机厂 JSC（KVZ；俄罗斯直升机控股公司 Rostec）生产的新型 Mi-17V-5 运输和攻击直升机。
Выручка BAE Systems с начала конфликта на Украине выросла почти в 1,5 раза
自乌克兰冲突爆发以来，英国 BAE Systems 公司的年收入增长了近 1.5 倍，达到超过 280 亿英镑（近 380 亿美元）。
Ростех впервые представил комплекс «Паутина» для защиты от дронов промышленных объектов
RT-Project Technologies 公司（Rostec 旗下）首次展示了针对无人机的基础设施的全面保护。
В Польшу доставлены первые мостоукладчики M1110 JAB
7月14日，波兰国防部装备局宣布通过海运向该国交付首批统一M1110 JAB（联合突击桥）坦克桥。
ВМС США рассматривают возможность строительства кораблей в Республике Корея
美国海军已正式向韩国主要造船商发出两份信息请求（RFI），以评估其建造补给油轮和驱逐舰级军舰的能力。
Rheinmetall осуществил первую поставку боеприпасов на Украину с завода в Унтерлюсе
德国莱茵金属公司已开始通过位于Unterlus（下萨克森州）的新生产基地向乌克兰供应155毫米火炮弹药。
Совет по оборонным закупкам Минобороны Индии одобрил приобретение средств ПВО, ПТРК и БЛА
印度国防采办委员会（DAC）7月3日批准了多项采购计划，表明该国越来越注重打造分层防空系统、打击无人机和确保部队保护。
这家新上市公司是目前唯一一家拥有可行途径建设天基基础设施的公司。如果你想象在太空中建设一个大规模的人工智能数据中心，你也会假设许多成功的星舰发射，以部署大量卫星——到十年末，可能每天会发射十几个卫星。纽约数据中心暂停令显示美国停滞激进主义团体的持续力量首先出现在美国企业研究所（AEI）上。
«Семаргл» на «Металлообработке-2026»: российские роботы против человеческого фактора
2026年5月中旬，第26届国际金属加工展览会在莫斯科举行。该业务计划的主要参展商之一是俄罗斯生产和工程公司 Semargl（圣彼得堡），该公司展示了生产内部物流自动化的全套解决方案 - 从紧凑型移动机器人到 35 吨平台和灵活的生产系统。
Global Terrorism Threat Looks Uncomfortably Familiar
摘要：5 月 8 日，阿拉伯半岛基地组织 (AQAP) 的媒体部门 al-Malahem 发布了一段新的 Inspire 视频：“为什么在西方进行圣战行动？”该视频敦促西方国家的穆斯林进行独狼式袭击，并“代表乌玛[社区]，竭尽全力”（《今日国土安全》，5 月 8 日）。 […]《全球恐怖主义威胁看起来令人不安地熟悉》一文首先出现在詹姆斯敦。
Uzbekistan–Azerbaijan–Georgia Partnership Advances Middle Corridor Integration
摘要：乌兹别克斯坦总统沙夫卡特·米尔济约耶夫 (Shavkat Mirziyoyev) 7 月 2 日至 3 日对格鲁吉亚进行国事访问，将双边关系提升为战略伙伴关系（乌兹别克斯坦总统，7 月 3 日）。其中一项进展涉及经阿塞拜疆连接中亚和南高加索地区的交通运输。米尔济约耶夫和格鲁吉亚总理伊拉克利·科巴希泽将区域互联互通和基础设施发展确定为“一个[……]后乌兹别克斯坦-阿塞拜疆-格鲁吉亚伙伴关系推进中间走廊一体化首先出现在詹姆斯敦。
Ties with Somalia Signal Türkiye’s Plans for Greater Role in Africa
内容提要：1月30日，土耳其向索马里部署了F-16战斗机。安卡拉旨在保护其在该国不断增长的战略资产，同时支持摩加迪沙针对青年党激进组织正在进行的军事行动（《今日土耳其》，1 月 30 日）。先进飞机的部署标志着安卡拉在索马里的安全活动显着升级，并强调了与索马里的关系信号土耳其在非洲发挥更大作用的计划首先出现在詹姆斯敦。
