💻 computer science
Experimental evaluation of optimal abstract operators for sharing and linearity analysis
本文通过在 CiaoPP 预处理器中实现并测试用于共享分析和线性分析的最优抽象算子，实验性地评估了逻辑程序静态分析中精确度与性能之间的权衡。
✓ 已审阅
作者审阅的论文
原作者已查阅我们通俗解释的论文。
本页收录的每篇论文，都有至少一位原作者阅读并参与了我们的通俗解释——或是确认其准确无误，或是提出修正意见并由我们随后采纳。作者的确认并不等同于对每一句话的正式背书，但说明该解释已经过论文作者的审视。
1206 篇论文已由作者审阅 · 661–670 / 1206
💻 computer science
On the Complexity of the Bi-infinite Post Correspondence Problem
本文通过展示从图灵机非停机问题出发的一系列归约过程，并证明若干相关的无限及移位变体的 完全性，确立了双无穷后置对应问题 (PCP) 在算术层级中是 完全的。
💻 computer science
ClawXiv: a signed archival workflow and distributed publication architecture for human--AI collaborative research
本文介绍了 ClawXiv，这是一个本地化、作者侧的工作流与分布式架构，旨在通过一个四阶段迁移流水线和一套操作脚本，将易变的人机协作研究过程转化为持久、经签名且可审计的存档人工制品。
📊 statistics
On the statistical analysis of grouped data: when Pearson and other divisible statistics are not goodness-of-fit tests
本文挑战了关于可分统计量（如皮尔逊 ）在具有大量分箱的稀疏数据情形下仍能作为有效拟合优度检验的普遍假设，转而提出了一个统一的框架，旨在揭示现有方法的局限性，并提供改进后的、更具效力的替代方案以及新的无分布检验。
🔬 applied physics
Chemical tuning of magnetic ordering and cryogenic magnetocaloric response in zircon-type Gd1-xErxVO4
本研究表明，通过用较小的 Er³⁺ 离子部分取代 Gd³⁺，可以系统地调节锆型 Gd₁₋ₓErₓVO₄ 的晶格参数和磁相互作用，从而有效地优化用于低温制冷的低温磁热性能，其中 Gd₀.₉Er₀.₁VO₄ 成分在 7 T 磁场下实现了 45.1 J kg⁻¹ K⁻¹ 的最大磁熵变。
📊 statistics
Variational Proximal Policy Optimization
本文介绍了变分近端策略优化（），这是一种基于粒子的变分推理框架，它将 Stein 变分梯度下降与专家混合架构相结合，以缓解策略模式崩塌和分布漂移问题，并在推理基准测试和 Token 效率方面取得了显著的性能提升。
🔭 astrophysics
Faraday Complexity and Depolarisation in a High-Rotation-Measure Radio Galaxy from the Spectra and Polarisation In Cutouts of Extragalactic Sources (SPICE-RACS) DR2
本研究利用来自 SPICE-RACS DR2 巡天的宽带光谱偏振观测，表征了高旋转量无线电星系 RACS_0900-28_7036 复杂的法拉第旋转与去偏振结构，确定了一个揭示沿视线方向存在不同磁化区域的优选多组分模型，并展示了 ASKAP 在对河外源进行法拉第复杂性系统性研究方面的能力。
⚛️ quantum physics
Pure and mixed Dicke state ansatz for equality and inequality constraints in variational quantum eigensolver
本文引入了一种用于变分量子特征值求解器（VQE）的保持可行性的混合狄克态（Dicke state）拟设，该拟设在结构上编码了等式和不等式汉明重量约束，从而消除了对惩罚项的需求，在组合投资组合优化方面展示了优于随机搜索的卓越性能，同时强调了在 NISQ 硬件部署中仍面临的挑战。
⚛️ quantum physics
The Transformation-Response Framework: An Operational Reformulation of Quantum Mechanics
本文提出了变换-响应框架，这是一种量子力学的操作性重构，它将态定义为对物理变换之响应的目录，并从正定性这一单一公理中推导出包括希尔伯特空间、玻恩定则和路径积分在内的整个标准形式体系。
🔭 astrophysics
CORALIE radial-velocity search for companions around evolved stars (CASCADES) V. Three planetary companions and achievable precision
CASCADES调查利用长期的CORALIE径向速度测量，确认了围绕两颗低光度红巨星运行的三颗大质量行星伴星，同时展示了一种旨在减轻恒星脉动噪声的有效观测策略。