Weapon Systems Annual Assessment: Requiring Mature Technologies Could Enable Shift to Rapid Delivery
GAO 的发现国防部 (DOD) 仍在努力在预算范围内快速交付技术。自上次年度评估以来，GAO 发现： 一些成本最高的主要国防采办计划 (MDAP) 的计划正在推迟临时事件和里程碑。国防部增加了对中间层采办 (MTA) 快速原型设计和部署途径的使用，预计在 5 年内完成。一些项目开始于 MTA 途径，其技术需要更多时间来开发，从而阻碍了基本功能的及时交付。项目并没有始终如一地遵循可以帮助国防部实现其既定目标的产品开发领先实践。 MDAP 中持续出现进度延迟，表明时间框架过于乐观。今年，交付功能的总体平均时间框架增加到了 12 年以上。此外，一些 MDAP 尚未设定新的交付日期或正在推迟关键的中
VideoFlexTok: Flexible-Length Coarse-to-Fine Video Tokenization
视觉分词器将高维原始像素映射为下游建模的压缩表示。除了压缩之外，标记器还决定保留哪些信息以及如何组织信息。视频标记化事实上的标准方法是将视频表示为标记的时空 3D 网格，每个标记捕获原始信号中相应的局部信息。这需要使用令牌的下游模型（例如文本到视频模型）学习“逐像素”预测所有低级细节，而不考虑视频固有的复杂性，从而导致......
Anti-Causal Domain Generalization: Leveraging Unlabeled Data
领域泛化问题涉及学习预测模型，这些模型在部署到以前未见过的新环境中时对分布变化具有鲁棒性。现有方法通常需要来自多个训练环境的标记数据，当标记数据稀缺时限制了它们的适用性。在这项工作中，我们研究反因果环境中的领域泛化，其中结果导致观察到的协变量。在这种结构下，影响协变量的环境扰动不会传播到结果，这会促使模型对……的敏感性进行正则化。
Learning Structured Reasoning via Tractable Trajectory Control
大型语言模型可以表现出紧急推理行为，通常表现为重复出现的词汇模式（例如，“等待”，表示验证）。然而，在无约束采样中，复杂的推理轨迹仍然稀疏，并且标准强化学习通常无法保证获取多样化的推理行为。我们提出通过结构化推理来系统地发现和强化不同的推理模式，这种范式需要在强化学习过程中有针对性地探索特定的推理模式。为此，我们提出了 Ctrl-R，一个学习框架......
Conformal Thinking: Risk Control for Reasoning on a Compute Budget
推理大型语言模型 (LLM) 可实现测试时间扩展，随着令牌预算的增加，数据集级别的准确性也会提高，从而激励自适应推理——在可靠性提高时使用令牌，并在额外计算不太可能有帮助时提前停止。然而，设置代币预算以及自适应推理的阈值是一项实际挑战，需要进行基本的风险与准确性权衡。我们将预算设置问题重新定义为风险控制，限制错误率，同时最大限度地减少计算量。我们的框架引入了一个上限，可以阻止......
On Robustness and Chain-of-Thought Consistency of RL-Finetuned VLMs
强化学习 (RL) 微调已成为增强推理密集型任务的大型语言模型 (LLM) 的关键技术，并推动其扩展到视觉语言模型 (VLM)。虽然经过 RL 调整的 VLM 改进了视觉推理基准，但它们仍然容易受到视觉基础薄弱、幻觉和过度依赖文本提示的影响。我们证明，简单的、受控的文本扰动——误导性的标题或不正确的思维链 (CoT) 痕迹——会导致鲁棒性和置信度大幅下降，并且当 CoT 一致性为……时，这些影响会更加明显。
California Senate Bill 813 highlights the need for a federal artificial intelligence framework
虽然参议院 813 号法案包含了一些建设性的想法，但它设想的标准类型和审计框架更适合联邦层面。加州参议院 813 号法案强调了对联邦人工智能框架的需求，该框架首先出现在 Reason Foundation 上。
GAO 发现自 2017 年以来，国土安全部 (DHS) 联邦紧急事务管理局 (FEMA)、住房和城市发展部 (HUD) 以及能源部 (DOE) 已为波多黎各的电网恢复和现代化拨款约 140 亿美元，但已拨付的资金有限。自 2017 年以来，FEMA 已支付约 111 亿美元中的约 27 亿美元，主要用于设备和材料以及建筑和工程。除 FEMA 外，HUD 和 DOE 分别承担了约 23 亿美元和 9.37 亿美元的义务。然而，这些资金大部分尚未支付。此外，能源部重新分配或取消了约 7.15 亿美元，最初用于社区和低收入家庭的太阳能项目，以解决电网稳定性和其他尚未确定的需求。利用联邦援助，在关键
Former Russian Space Entrepreneur Producing Long-Range Missiles for Ukraine
内容提要：Destinus 是俄罗斯第一家私营航天公司创始人米哈伊尔·科科里奇 (Mikhail Kokorich) 旗下的公司，已开始为欧洲和乌克兰生产远程导弹。 2024年1月，科科里奇放弃了俄罗斯国籍。自 2022 年以来，Destinus 一直向乌克兰和欧洲国家供应无人机和小型导弹。它希望补充昂贵的西方导弹，[…]前俄罗斯太空企业家为乌克兰生产远程导弹的帖子首先出现在詹姆斯敦。
AG Corps Inducts 2026 Hall of Fame Members
南卡罗来纳州杰克逊堡 – 6 月 26 日，美国陆军副官军团在士兵支援学院举行的仪式上将 7 名人士纳入 2026 年名人堂......
Assisted Living Facilities: Information on Federal Spending and Medicaid Coverage
GAO 发现的内容辅助生活设施为需要饮食和洗澡等日常生活活动帮助的人提供了家庭护理和疗养院的住宿替代方案。GAO 对计划数据的分析显示，2024 年联邦医疗补助和医疗保险用于辅助生活设施提供的服务的支出总额至少为 120 亿美元。由于数据限制，这一金额可能被低估。例如，辅助生活设施不是统一定义的提供者类型，因此数据中的标识不一致。联邦医疗补助支出。 GAO 确定，到 2024 年，联邦医疗补助支出将至少有 35 亿美元用于辅助生活设施中提供的服务。州医疗补助计划可能涵盖辅助生活服务，即协助日常生活活动和辅助生活设施中提供的其他支持服务，以及物理治疗等其他服务。医疗保险支出。 GAO 确定，到
■摘要 仙台写字楼市场虽然新增供应有限，但由于企业开设基地、扩建搬迁、建筑面积增加等因素，空置率不断下降，合同租金也呈现平稳走势。本文概述了仙台写字楼市场的现状，然后预测了到2030年的租金。在东北地区，“企业经营环境”保持稳定，“就业环境”劳动力短缺感强烈，企业招聘积极性很高。综上所述，仙台市商业区上班族人数大幅减少的担忧不大。不过，宫城县整体就业人数三年来首次开始下降，仙台市劳动年龄人口也连续两年下降，趋势需要密切关注。随着远程办公的普及，预计越来越多的公司会考虑适应不同工作方式的办公用途和基地地点，第三地办公市场有望扩大。此外，在政府支持下，初创企业数量将会增加，有可能成为办公需求新的驱
U.S. Army Contracting Command personnel recognized for streamlining small business procurement
对于小型企业来说，驾驭国防采办系统通常会带来重大的管理挑战。复杂的法规和密集的...
Build Freedom Initiative Launches With Big Contract to Skilled Trades Champion
负责采办和保障的战争部副部长迈克尔·达菲（Michael Duffey）和负责工业基础政策的战争部助理部长迈克尔·卡德纳齐（Michael Cadenazzi）在五角大楼向电视主持人迈克·罗（Mike Rowe）赠送了一张 1000 万美元的支票，正式启动“建设自由倡议”。
美国东部时间上午 9:00 至 10:00，战争部正式启动“构建自由”劳动力发展计划。在五角大楼英雄大厅举行的活动期间，负责采办和保障的战争部副部长迈克尔·P·达菲 (Michael P. Duffey) 向技术行业倡导者迈克·罗 (Mike Rowe) 提供 1000 万美元投资，以支持 mikeroweWORKS 基金会
