SATA sets late-3Q26 deadline for Azores Airlines bids
本文仅适用于订阅商业航空新闻、运营商和机场数据
Nunavut, CA discards becoming stakeholder in Canadian North
本文仅适用于订阅商业航空新闻、运营商和机场数据
Lessor seeks winding up of Bahrain's MAE over $5.7mn debt
本文仅适用于订阅商业航空新闻、运营商和机场数据
Argentina’s Flybondi mulls legal action against ex-execs
本文仅适用于订阅商业航空新闻、运营商和机场数据
Réunion's Air Austral seeks $4.1mn for fleet renewal
本文仅适用于订阅商业航空新闻、运营商和机场数据
India's Akasa Air seeks funding as Iran war drives up costs
本文仅适用于订阅商业航空新闻、运营商和机场数据
India's Bajaj Aviation retires last Global 5000
本文仅适用于订阅商业航空新闻、运营商和机场数据
Russia’s Ural Airlines advances talks for MC-21-300s, hangar
本文仅适用于订阅商业航空新闻、运营商和机场数据
Pakistani gov't transfers properties worth $51mn to PIA
本文仅适用于订阅商业航空新闻、运营商和机场数据
Bill Targets Slackline Hazards to Low-Flying Aircraft
该措施将要求美国联邦航空管理局 (FAA) 在六个月内进行审查,并可能导致更新标记、航行通告和障碍物数据政策。
AAPA: Asia Pacific airlines saw financial performance improve in 2025
亚太航空公司协会 (AAPA) 发布的初步财务业绩数据显示,在 [...] 的推动下,亚太航空公司 2025 年综合净利润将达到 121 亿美元
IATA releases 2025 World Air Transport Statistics report
国际航空运输协会 (IATA) 发布了最新版本的世界航空运输统计 (WATS),提供截至 2025 年的全面统计数据。WATS 每年更新一次,提供数据 [...]
Immigration Courts: Stakeholder Perspectives on the Use of Remote Hearings
GAO 的发现司法部移民审查执行办公室 (EOIR) 亲自或使用远程技术(例如 WebEx——基于互联网的视频电话会议平台或电话)进行移民法庭诉讼。根据 EOIR 政策,移民法官可以酌情决定听证会参与者使用哪种远程媒体(如果有)。 EOIR 收集每次听证会所使用媒体的数据,该数据仅反映法官和被告的位置。根据 GAO 对这些数据的分析,在 2022 财年至 2025 财年举行的近 600 万场听证会上,约 63%(即 380 万场听证会)是现场举行的。在约 220 万场远程听证会中,大多数使用 WebEx(约 78% 或 170 万场)。在此期间,远程听证会的数量增加了近 50%,而现场听证会的
Uncertainty Quantification for LLM Function-Calling
大型语言模型 (LLM) 越来越多地用于自主解决现实世界的任务。其中一个关键要素是法学硕士函数调用范式,这是一种广泛使用的方法,为法学硕士配备工具使用功能。然而,LLM 错误地调用函数可能会产生严重影响,特别是当其影响不可逆转时,例如转账或删除数据。因此,在执行函数调用之前,考虑法学硕士对函数调用正确解决任务的信心至关重要。不确定性量化(UQ)方法可用于量化……
Interactive Proofs for General Distribution Properties
假设 Alice 从未知分布中收集了少量样本,并且想了解该分布。鲍勃是一位不受信任的数据分析师,他声称已经对分布进行了复杂的数据分析,并对其属性做出了断言。 Alice 何时以及如何有效地验证 Bob 的声明(使用比自己运行分析所需的资源更少的资源)?我们为可以由有界深度电路决定的一般分布属性构建了交互式证明系统。取 N 为分布的上限...
CLaRa: Bridging Retrieval and Generation with Continuous Latent Reasoning
检索增强生成(RAG)利用外部知识增强了大型语言模型(LLM),但仍然受到长上下文和不相交的检索生成优化的影响。在这项工作中,我们提出了 CLaRa(连续潜在推理),这是一个在共享连续空间中执行基于嵌入的压缩和联合优化的统一框架。为了获得语义丰富且可检索的压缩向量,从而减少输入生成器的文档长度,我们引入了 SCP,一种基于问答和释义的密钥保留数据合成框架......